否定(論理学)
命題
Pに対する否定は「Pではない」となる。
記号で表記する場合は以下のようになる
$ \lnot P
TeX の否定記号
\lnot
\neg
Unicode の否定記号
¬ (U+00AC) NOT SIGN
￢ (U+FFE2) FULLWIDTH NOT SIGN いわゆる全角文字で互換のためにある。こちらは通常使わない。
#論理学