logical negation symbol：逻辑非符号

布尔代数运算里的逻辑非符号（logical negation symbol）表示真值状态的反转。这个符号类似破折号带个尾巴（¬）。代数的减号（-）和（~）也用来表示逻辑非。

　　使用逻辑非的最简单的例子就是判断句。比如，假设A表示陈述句“天空是蓝的”，那么¬A表示陈述句“天空不是蓝的”或者“天空是蓝的是非真的”。

　　非符号（negation symbol）常用在复杂逻辑式里或是前面。在布尔运算里加号（+）表示逻辑包含OR，和星号表示逻辑和AND。当符号出现在复杂陈述使用逻辑非符号的规则就变得复杂起来。比如这一对表达式就不对所有的A和B都成立：

　　¬ （A + B）
　　（¬A） + （¬B）

　　¬（A * B）
　　（¬A）*（¬B）

　　然而下面的这对表示则对所有A和B成立：

　　¬（A + B）
　　（¬A）*（¬B）

　　 ¬（A * B）
　　（¬A） + （¬B）

　　同见布尔代数运算和数学符号。

最近更新时间：2008-06-17 EN