否定記号

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

出典: Wikipedia「否定記号」 · CC BY-SA 4.0