可以读做""A"不成立"或者"非"A""。"¬p"的真值表定义如下：~"A"即在"A"的条件下，结论不成立。例如，如果"A"代表命题“今天星期六”，则它的~"A"代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。~"A"为真当且仅当"A"为假。