逻辑非 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 逻辑非.

逻辑非

维基百科,自由的百科全书

此条目需要扩充。 (2017年10月2日)请协助改善这篇条目,更进一步的信息可能会在讨论页或扩充请求中找到。请在扩充条目后将此模板移除。
文氏图
  
    
      
        ¬
        A
      
    
    {\displaystyle \neg A}
文氏图
文氏图
  
    
      
        ¬
        B
      
    
    {\displaystyle \neg B}
文氏图

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

命题A可以有几种写法:

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

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

¬p真值表定义如下:

¬p的真值表
p ¬p

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

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

参见

{{bottomLinkPreText}} {{bottomLinkText}}
逻辑非
Listen to this article