出典:デジタル大辞泉(小学館)

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