因为大项在结论中周延，所以大项在前提中也周延。
因为大项在前提中周延，大前提为肯定命题，所以大项在大前提中处于主项的位置，大
前提为全称肯定命题。
因为小项在前提中不周延，小前提为否定命题，所以小项在小前提中处于主项的位置，
小前提为特称否定命题。
因为小前提是特称否定命题，所以结论也是特称否定命题。 所以，该三段论为第二格的AOO
4．有一个有效的三段论的大项在前提和结论中都是周延的，小项在前提和结论中都是不周延的，其大前提是肯定命题。请问，此三段论是哪一格的什么式？ 答：因为大项在结论中周延，小项不周延，所以结论为特称否定命题。
因为结论是否定命题，大前提是肯定命题，所以小前提是否定命题。
因为大项在前提中周延，大前提是肯定的，所以大项在大前提中处于主项位置，中项在
大前提中处于谓项位置，大前提为全称肯定命题。
因为小项在小前提中不周延，小前提是否定的，所以小项在小前提中是主项，中项在小
前提中是谓项，小前提是特称否定命题。 所以，该三段论是第二格的AOO式。
5．有一个有效三段论的大项在大前提中是周延的，但在结论中不周延。请问，它是哪一格的什么式？
答：因为大项在结论中不周延，所以结论为肯定命题。
因为结论为肯定命题，所以大小前提均为肯定命题。
因为大项在前提中周延，大前提为肯定命题，所以大项在大前提中在主项上，中项在大
前提中在谓项的位置上，大前提为全称肯定命题，中项在不周延。 因为中项在大前提中不周延，所以中项在小前提中必定是周延的。 因为中项在小前提中是周延的，小前提是肯定命题，所以中项在小前提中在主项位置上，
小项在小前提中不周延，小前提为全称肯定命题。 因为小项在前提中不周延，所以小项在结论中也不得周延。
因为小项在结论中不周延，结论为肯定命题，所以结论为特称肯定命题。 所以，该三段论是第四格的AAI式。
九、用凡恩图判定下列三段论式是否有效 1．第一格EAE式 2．第二格AEE式 3．第三格AOO式 4．第四格EIO式
解：第一格EAE式，即MEP∧SAM├ SEP。第二格AEE式，即PAM∧SEM├ SEP。它们的凡恩图如下所示：
21
可见，三段论的第一格EAE式和第二格AEE式都是有效的。
第三格AOO式，即MAP∧MOS├ SOP。第四格EIO式，即PEM∧MIS├ SOP。它们的凡恩图如下所示：
显然可见，三段论的第三格AOO式是无效的，第四格EIO式是有效的。
第五章 复合命题及其推理（上）
一、填空题
1．复合命题是（包含其他命题）的命题，其命题形式的变项是（简单命题）。
2．复合命题的逻辑性质是由（命题联结词）决定的，复合命题的真假是由（命题联结词和支命题）决定的。
解析：当然，如果给定命题联结词，例如对于联言命题，那么复合命题的真假就是由支命题决定的。
3．一个联言命题只要有一个联言支为（假），则该联言命题就是假的；只有当联言支（都为真）时，联言命题才真。
解析：这里的“只有??才”换为“当且仅当”更好。
4．一个相容选言命题只要有一个选言支为（真），则该命题就是真的；只有选言支（都假）时，它才假。
解析：这里的“只有??才”换为“当且仅当”更好。
5．如果p假则q假，那么p是q（必要）条件，非p是非q的（充分）条件。
6．如果p←q取值为假，则p∧q取值为（假），pq取值为（真）。 7．当q为假时，要使p→q为真，则p应取（假）值。 8．如果p为任意值，要使p←q为真，q应取（假）值。
二、单项选择题
22
1．两个假言命题的逻辑形式相同，其相同的是（ D ）
A．前件和后件 B．前件和联结词 C．后件和联结词 D．联结词
2．如果一个包含两个选言支的不相容选言命题为真，则其两个选言支（ D ）
A．可同真且可同假 B．可同真但不可同假 C．不可同真但可同假 D．不可同真不可同假
3．下列命题形式中，与pq既不同真又不同假的是（ C ） A．p→q B．p←q C．p?q D．p∨q
4．若“如果某甲掌握两门外语，那么他精通逻辑”为假，则下列为真的是（ B ）
A．某甲掌握两门外语并且精通逻辑 B．某甲掌握两门外语但不精通逻辑 C．某甲没掌握两门外语但精通逻辑 D．某甲没掌握两门外语也不精通逻辑 5．以“A并且B”和“非B或者C”为前提进行演绎推理，可得出的结论是（ C ）
A．A并且非B B．B并且非C C．B并且C D．A并且非C
6．在下列表达式中，正确表达直言命题中的A命题与O命题之间真假关系的是（ D ）
A．A→﹁O B．﹁A→O C．A∨O D．AO 7．命题“老赵、老钱、老孙三人至少有一人是复员军人”可表示为（ C ）
A．(p∧q)∨r B．pqr C．p∨q∨r D．p→(q∧r) 8．“不是在保守中落后，就是在改革中进步”与“不是在保守中落后，而是在改革中进步”这两个命题（ D ） A．都是选言命题 B．都是联言命题
C．前者为联言命题，后者为选言命题
D．前者为充分条件命题，后者为联言命题
注意，“不是在保守中落后，就是在改革中进步”的意思是“如果不是在保守中落后，那么就是在改革中进步”，是充分条件命题。选项D原为“前者为选言命题，后者为联言命题”。这样的话，就没有一个选项是正确的。因此，我将选项D改为“前者为充分条件命题，后者为联言命题”。 9．“这部作品或者思想性不强，或者艺术性不高，或者既思想性不强又艺术性不高”这一命题应符号化为（ C ） A．p∨q∨r B．pqr C．p∨q D．pq 解析：不相容析取命题为真，当且仅当，一个析取支为真。选项B和D显然不符合不相容析取命题的特征。 相同命题表示为相同符号，这是符号化的一个基本原则。如果以p表示“思想性不强”，以q表示“艺术性不高”，那么这个符合命题应当符号化为：p∨q∨(p∧q)。 由合取对析取的分配律，即A∨(B∧C)=(A∨B)∧(A∨C)可得， p∨q∨(p∧q)=(p∨q∨p)∧(p∨q∨q) 由析取结合律可得， (p∨q∨p)∧(p∨q∨q)=(p∨p∨q)∧(p∨q∨q) 由于任何命题析取其自身仍然等于该命题，即A∨A=A，任何命题合取其自身仍 23
然等于该命题，即A∧A=A，所以
(p∨p∨q)∧(p∨q∨q) =(p∨q)∧(p∨q) =p∨q
所以，正确答案为C。
注，析取对合取的分配律是A∧(B∨C)=(A∧B)∨(A∧C)。
10．“如果不以事实为根据，或者不以法律为准绳，则不能公正断案”，这个命题的逻辑形式为（ C ） A．p∧q B．p∨q C．(p∨q)→r D．(﹁p∧﹁q)→r
11．如果“p当且仅当非q”与“q”均真，则下列命题形式为真的是（ C ）
A．p∧q B．p∧﹁q C．﹁p∧q D．﹁p∧﹁q
12．环境污染已经成为全世界普遍关注的问题，科学家和环保组织不断发出警告：如果我们
不从现在起就重视环境保护，那么有一天人类将无法在地球上生存。
以下哪项解释最符合上述警告的含义？（ E ）
A．如果从后天而不是明天起就重视环境保护，人类的厄运就要早一天到来。 B．如果我们从现在起开始重视环境保护，人类就可以在地球上永久生活下去。 C．只要我们从现在起开始重视环境保护，人类就不至于在地球上生存不下去。 D．由于科学技术发展迅速，在厄运到来之前人类就可能移居到别的星球上去了。 E．对环境污染的严重性要有高度认识，并且要尽快采取行动做好环保工作。
13．远大公式生产的小轿车都安装了驾驶员安全气囊。在安装驾驶员安全气囊的小轿车中，
有80%安装了乘客安全气囊。只有安装乘客安全气囊的小轿车才会同时安装减轻冲击力的安全杠和防碎玻璃。
如果上述断定为真，并且事实上李先生从远大公司购进的一辆小轿车中装有防碎玻璃，则以下哪项断定一定是真的？（ C ）
（1）这辆车一定装有安全杠。
（2）这辆车一定装有乘客安全气囊。 （3）这辆车一定装有驾驶员安全气囊。 A．仅（1） B．仅（2） C．仅（3） D．仅（1）和（2） E．（1）、（2）和（3）
解析：只有安装乘客安全气囊的小轿车才会同时安装减轻冲击力的安全杠和防碎玻
璃如果同时安装减轻冲击力的安全杠和防碎玻璃的小轿车则安装乘客安全气囊。前提中没有给出李先生从远大公司购进的一辆小轿车是否装有减轻冲击力的安全杠，所以从“李先生从远大公司购进的一辆小轿车中装有防碎玻璃”推不出“李先生从远大公司购进的一辆小轿车中装有乘客安全气囊”。
14．如果小赵参加宴会，那么小钱、小孙和小李将一起参加宴会。
如果上述断定是真的，以下哪项也是真的？（ E ）
A．如果小赵没有参加宴会，那么小钱、小孙和小李三人中至少有一人没有参加宴会。 B．如果小赵没有参加宴会，那么小钱、小孙和小李都没有参加宴会。 C．如果小钱、小孙和小李都参加宴会，那么小赵也参加宴会。 D．如果小李没有参加宴会，那么小钱和小孙不会都参加宴会。 E．如果小孙没有参加宴会，那么小赵和小李不会都参加宴会。
解析：如果小孙没有参加宴会，那么小钱、小孙和小李不是一起参加宴会。如果小
24
钱、小孙和小李不是一起参加宴会，那么小赵没有参加宴会。所以，如果小孙没有参加宴会，那么小赵和小李不会都参加宴会。
15．建德小区有住户家发现白蚁。除非小区中有住户家发现白蚁，否则任何小区都不能免费
领取高效灭蚁灵。金沙小区可以免费领取高效灭蚁灵。
如果上述断定都是真的，以下哪项据此不能断定真假？（ D ） （1）建德小区有的住户家没有发现白蚁。 （2）建德小区能免费领取高效灭蚁灵。 （3）金沙小区有的住户家发现白蚁。 A．只有（1） B．只有（2） C．只有（3） D．只有（1）和（2） E．（1）、（2）和（3） 解析：由“建德小区有住户家发现白蚁”，不能必然推出“建德小区有住户家没有发现白蚁”。
由“建德小区有住户家发现白蚁”和“除非小区中有住户家发现白蚁，否则任何小区都不能免费领取高效灭蚁灵”，不能必然推出“建德小区能免费领取高效灭蚁灵”。因为这里使用的是必要条件命题的肯定前件式推理。但是，必要条件命题的肯定后件式是必然性推理。因此，正确答案为D。
三、双项选择题
1．在下列选言推理形式中，无效的有（ AB ）
A．(p∨q)∧p├﹁q B．(pqr)∧﹁p├ q∧r C．(pqr)∧﹁p├ qr D．(p∨q∨r)∧﹁p├ q∨r E．(p∨q∨r∨s)∧(﹁p∧﹁q)├ r∨s
2．在下列充分条件推理形式中，有效的是（ BD ）
A．(p→﹁q)∧﹁p├ q B．(p→﹁q)∧q├﹁p C．(﹁p→q)∧p├﹁q D．(﹁p→﹁q)∧q├ p E．(﹁p→q)∧q├﹁p
3．在下列必要条件推理形式中，无效的有（ DE ）
A．(p←﹁q)∧﹁q├ p B．(﹁p←q)∧p├﹁q C．(﹁p←﹁q)∧p├ q D．(﹁p←q)∧﹁p├ q E．(p←﹁q)∧q├﹁p 4．“只有触犯刑律，才能构成犯罪”作为前提进行（有效）假言推理，另一前提可以是（ CD ）
A．触犯刑律 B．没有构成犯罪 C．没有触犯刑律 D．构成犯罪 E．并未构成犯罪
注意，原题中没有“有效”，但必须加上这个限制条件，该题才显得合适。
5．以(﹁p∨﹁q)∧(r∧s)为前提进行推理，可以有效推出的结论有（ BDE ）
A．﹁r∨﹁s B．r∧s C．﹁p∧﹁q D．﹁p∨﹁q E．r∨s
注意，题干的(﹁p∨﹁q)∧(r∧s)原为(﹁p∨﹁q)←(r∧s)，但(﹁p∨﹁q)←(r∧s)的主联结词必须改为∧，该题才显得有些合适。之所以仅仅说有些合适，是因为它有三个正确选项。因为，
(﹁p∨﹁q)∧(r∧s)├ r∧s├ r├ r∨s (﹁p∨﹁q)∧(r∧s)├﹁p∨﹁q
6．对于有效的推理形式来说，前提与结论之间可能具有关系是（ BE ）
A．矛盾关系 B．等值关系 C．下反对关系
25