否定記号

出典: フリー百科事典『ウィキペディア（Wikipedia）』
¬

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

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

符号位置[編集]

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

関連項目[編集]

∧ or &
論理積
AND		 論理和
OR
¬ or ~
否定
NOT		 含意
implies		 上位集合
superset		 同値
iff		 否定論理積
NAND		 全称量化
for all		 存在量化
exists		 恒真式
tautology		 偽 false
/ 矛盾		 証明可能
proves		 論理的帰結
entails		 従って
therefore		 なぜならば
because
「https://ja.wikipedia.org/w/index.php?title=否定記号&oldid=90773593」から取得