演算子
数理論理学における論理演算子は、被演算子の真理値(真・偽)に対する論理積 "∧" や論理和 "∨" などの論理演算を表し、中置記法で書くことが多い。(否定を表す前置の単項演算子 "¬" もある。)