否定記号

¬

否定記号は数理論理学で用いられる否定を表す記号であり、「¬」と表記される。論理式φに対し、¬φでφの否定を表す。

同一の意味で「∼」が用いられることもある。また、プログラミングにおいては言語によってエクスクラメーションマークの「!」で否定を表す。

符号位置

記号	Unicode	JIS X 0213	文字参照	名称
¬	U+00AC	1-2-44	¬ ¬ ¬	否定
￢	U+FFE2	-	￢ ￢	否定（全角）

関連項目

• 否定
• 論理式
• 数理論理学