逻辑非布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。

文氏图
文氏图

命题A可以有几种写法:

  • AA上加一横)
  • ~A
  • ¬A
  • NOT A

以上可以读做"A不成立"或者"非A"。

¬p真值表定义如下:

More information p, ¬p ...
¬p的真值表
p ¬p
Close

~A即在A的条件下,结论不成立。例如,如果A代表命题“今天星期六”,则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。

~A为真当且仅当A为假。

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.