演算子の数学と論理

演算子数学では、実行する操作を示す記号。例として、√xの平方根（平方根を取ることを示す）および^d / _dx（xに関する微分を行うことを示す）があります。演算子は、あるセットの要素を別のセットの要素に関連付ける、つまり「マップ」するという意味で、関数、変換、またはマップと見なすことができます。自己同型も参照してください。

形式的論理：演算子の相互定義可能性

今述べたルールは、表3にリストされている最初のドモルガン法により、任意の数の

。