邏輯非
（重新導向自¬）
此條目可參照[[:en:Module:Wikidata第969行Lua錯誤：attempt to index field 'wikibase' (a nil value) |英語維基百科]]相應條目來擴充。 (2025年6月22日) |
此條目沒有列出任何參考或來源。 (2025年6月22日) |
邏輯非是布林代數中一種一元運算。它的運算結果是將運算元的真值反相。
命題A的非可以有幾種寫法：
- A（A上加一橫）
- ~A
- ¬A
- NOT A
以上可以讀做"A不成立"或者"非A"。
¬p的真值表定義如下：
| p | ¬p |
|---|---|
| 真 | 假 |
| 假 | 真 |
~A即在A的條件下，結論不成立。例如，如果A代表命題「今天星期六」，則它的~A代表命題「今天不是星期六」或「今天是星期日、一、二、三、四或五」。
~A為真當且僅當A為假。
| 小作品圖示 | 這是一篇關於數學的小作品。您可以透過編輯或修訂擴充其內容。 |
Module:Authority_control第183行Lua錯誤：attempt to index field 'wikibase' (a nil value)