p 非p 真 假 假 真
2."p且q"形式的复合命题真假:
当p、q为真时,p且q为真; 当p、q中至少有一个为假时,p且q为假.
(一假必假)
p q p且q 真 真 真 真 假 假 假 真 假 假 假 假
3."p或q"形式的复合命题真假:
当p、q中至少有一个为真时,p或q为真;当p、q都为假时,p或q为假.
(一真必真)
p q P或q 真 真 真 真 假 真 假 真 真 假 假 假
注:1°像上面表示命题真假的表叫真值表;
2°由真值表得:
"非p"形式复合命题的真假与p的真假相反;
"p且q"形式复合命题当p与q同为真时为真,其他情况为假;
"p或q"形式复合命题当p与q同为假时为假,其他情况为真;
3°真值表是根据简单命题的真假,判断由这些简单命题构成的
复合命题的真假,而不涉及简单命题的具体内容.如:p表示"圆周率π