否定
数理論理学において否定 (ひてい、) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。
命題 "P" に対する否定を ¬"P", "P", !"P" などと書いて、「"P" でない」とか「"P" の否定」、「"P" 以外の場合」などと読む。