ろんり‐きごう【論理記号】_‐キガウ 記号論理学で、論理式を構成するのに用いる記号。論理積の「＜」、論理和の「＞」、否定の「〜」など。存在記号の「∃」、全称記号の「∀」を含めることもある。論理演算子。