逻辑非
运算
(重定向自邏輯非)
此条目需要扩充。 (2017年10月2日) 请协助改善这篇条目,更进一步的信息可能会在讨论页或扩充请求中找到。请在扩充条目后将此模板移除。 |
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。
命题A的非可以有几种写法:
以上可以读做"A不成立"或者"非A"。
¬p的真值表定义如下:
p | ¬p |
---|---|
真 | 假 |
假 | 真 |
~A即在A的条件下,结论不成立。例如,如果A代表命题“今天星期六”,则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。
~A为真当且仅当A为假。
这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 |