否定記号

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

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

 符号位置 
記号UnicodeJIS X 0213文字参照名称

 関連項目 
 否定
 論理式
 数理論理学

Category:数学記号
Category:論理記号
Category:約物