逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。
命题 A的非可以有几种写法:
以上可以读做"A不成立"或者"非A"。
~A即在A的条件下,结论不成立。例如,如果A代表命题“今天星期六”,则它的~A代表命题“今天不是星期六或“今天是星期一,二,三,四,五,天。
~A 为真当且仅当A为假。
周易六十四卦列表#否