記号論理学で、論理式を構成するのに用いる記号。論理積の「∧」、論理和の「∨」、否定の「~」など。存在記号の「∃」、全称記号の「∀」を含めることもある。論理演算子。

[数学/数学の言葉]カテゴリの言葉