当p、q中至少有一个为真时,p或q为真;当p、q都为假时,p或q为假。
四、数学理论
1."非p"形式的复合命题真假:
当p为真时,非p为假; 当p为假时,非p为真.
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表示"圆周率π是无理数",q表示"△ABC是直角三角形",尽管p与q的内容毫无关系,但并不妨碍我们利用真值表判断其命题p或q 的真假。
4°介绍"或门电路""与门电路"。
或门电路(或) 与门电路(且)