数学とか 論理式の定義と括弧の意味
論理和と論理積の結合則、交換則を推論規則から演繹しようと思って挑戦。やりながら論理式と括弧が気になってきました。そういえばどんなルールがあるのだろうと。論理式と二項演算と括弧論理式の定義Wikipediaには以下のように説明されています。論...
二項演算
数学とか 
数学とか 二項演算とマグマと写像
プログラミングでもやっていない限り「演算」は日常的には使いませんが、かっこい言葉ですよね。代表的な演算は四則演算と呼ばれ、+,-,×,÷の記号で表されます。【二項演算】集合の一つの元（幾つかのものの組であってもよい）に他の一つの元を対応させ...
数学とか 数学は何をしているの？何が学べるの？何が楽しいの？
今回は僕が独学してハマった数学の僕なりの面白さ、数学が本質的に何をしているのか？という僕なりの解釈をお話します。そのとっかかりとして「演算」という概念の話をします。演算の定義数学のやりたいこと数学は真理を解き明かす学問で、そのための議論の雛...