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

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

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

関連項目

否定

論理式

数理論理学

表

話

編

歴
論理記号

∧ or & 論理積
AND∨ 論理和
OR¬ or ~ 否定
NOT→ 含意
implies⊃ 上位集合
superset≡ 同値
iff| 否定論理積
NAND∀ 全称量化
for all∃ 存在量化
exists? 恒真式
tautology⊥ 偽 false
/ 矛盾? 証明可能
proves? 論理的帰結
entails∴ 従って
therefore∵ なぜならば
because