否定記号

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

¬

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

符号位置

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

関連項目

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.