邏輯非布林代數中一種一元運算。它的運算結果是將運算元的真值反相。

文氏圖
文氏圖

命題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.