逻辑非
（重定向自¬）
此条目可参照[[: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)