1.6 逻辑联结词（2）
3.“p或q”形式的复合命题：
例3.如果p表示“5是12的约数” q表示“5是15的约数”，r表示“5是8的约数”，写出，p或r，q或s，p或q的复合命题，并判断其真假，归纳其规律.
p或q即“5是12的约数或是15的约数”为真（p为假、q为真）；
p或r即“5是12的约数或是8的约数”为假（p、r为假）
小结：“p或q”形式的复合命题真假判断
当p，q中至少有一个为真时，“p或q”为真；当p，q都为假时，“p或q”为假. 即“p或q”形式的复合命题，当p与q同为假时为假，其他情况时为真. 可用下表表示.
p q p或q
真 真 真
真 假 真
假 真 真
假 假 假
像上面三个表用来表示命题的真假的表叫做真值表.
在真值表中，是根据简单命题的真假，判断由这些简单命题构成的复合命题的真假，而不涉及简单命题的具体内容.
例4（课本第28页例2）分别指出由下列各组命题构成的“ p或q”，“p且q”，“非p”形式的复合命题的真假：
① p：2+2=5，q：3>2；
② p：9是质数，q：8是12的约数；
③ p：1∈{1，2}，q：{1} {1，2}；
④ p：φ {0}，q：φ={0}.
解：①p或q：2+2=5或3>2 ；p且q：2+2=5且3>2 ；非p：2+2 5.
∵p假q真，∴“p或q”为真，“p且q”为假，“非p”为真.
②p或q：9是质数或8是12的约数；p且q：9是质数且8是12的约数；非p：9不是质数.
∵p假q假，∴“p或q”为假，“p且q”为假，“非p”为真.
③p或q：1∈{1，2}或{1} {1，2}；p且q：1∈{1，2}且{1} {1，2}；非p：1 {1，2}.
∵p真q真，∴“p或q”为真，“p且q”为真，“非p”为假.
④p或q：φ {0}或φ={0}；p且q：φ {0}且φ={0} ；非p：φ {0}.
∵p真q假，∴“p或q”为真，“p且q”为假，“非p”为假.
4.逻辑符号
“或”的符号是“∨”，“且”的符号是“∧”，“非”的符号是“┐”.
例如，“p或q”可记作“p∨q”； “p且q”可记作“p∧q”；“非p”可记作“┐p”.
注意：数学中的“或”与日常生活用语中的“或”的区别
“或”这个逻辑联结词的用法，一般有两种解释：
一是“不可兼有”，即“a或b”是指a，b中的某一个，但不是两者.日常生活中有时采用这一解释.例如“你去或我去”，人们在理解上不会认为有你我都去这种可能.
二是“可兼有”，即“a或b”是指a，b中的任何一个或两者.例如“x a或x b”，是指x可能属于a但不属于b（这里的“但”等价于“且”），x也可能不属于a但属于b，x还可能既属于a又属于b（即x a∩b）；又如在“p真或q真”中，可能只有p真，也可能只有q真，还可能p,q都为真.数学书中一般采用这种解释，运用数学语言和解数学题时，都要遵守这一点.还要注意“可兼有”并不意味“一定兼有”.
另外，“苹果是长在树上或长在地里”这一命题，按真值表判断，它是真命题，但在日常生活中，我们认为这句话是不妥的.
5.学习逻辑的意义
一方面是因为数学基础需要用逻辑来阐明，另一方面是因为计算机离不开数学逻辑，课本中介绍的洗衣机上的“或门电路”和电子保险门上的“与门电路”就是两个在这方面应用的实例.可以说计算机的“智能”装置是以数学逻辑为基础进行设计的.
