逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值zh-hans:取反; zh-hant:反相。命题"A"的非可以有几种写法：以上可以读做""A"不成立"或者"非"A""。"¬p"的真值表定义如下：~"A"即在"A"的条件下，结论不成立。例如，如果"A"代表命题“今天星期六”，则它的~"A"代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。~"A"为真当且仅当"A"为假。