普通逻辑学综合练习三参考答案
一、不定向选择 1、（4）； 2、（1）、（3）； 3、（1）、（3）、（4）； 4、（4）、（5）； 5、（3）；
6、（2）、（3）、（5）；
7、（1）、（2）、（3）、（4）、（5）； 8、（4）； 9、(2)； 10、（3）、（4）； 11、（1）、（5）。 二、图表题 12、
MEP MEP M0P MAS 或者 MIS 或者 MAS SOP SOP SOP 13(a)、
(1)晋商（2）徽商（3）浙商（4）儒商 13(b)、（1）p?q；（2）p?q；（3）p?q；（4）p?q p + + _ _ q + _ + _ p q p?q p?q p?q p?q _ _ + + _ + _ + + _ _ _ + + + _ _ + + _ + + + _ 三、综合应用题
14、“通过歌名”、“通过歌手”、“通过歌词”与“搜索到一首歌”的逻辑条件关系是充
1
分条件的关系，即有p必有q，无p未必无q。
15、参考答案：其中蕴含的逻辑方法：两个充分条件假言判断，一个不相容选言判断。“如果坦白则从宽，如果抗拒则从严；或者坦白则从宽，或者抗拒则从严。”
16、
（1）原判断“秋菊都开白花”的规范格式为：“所有的秋菊都是开白花的”。 若“所有的秋菊都是开白花的”为假，则： “所有的秋菊都不是开白花的”真假不确定； “有的秋菊是开白花的”真假不确定； “有的秋菊不是开白花的”为真。
（2）“没有人能够一辈子不犯错误”的规范格式为：“所有的人都不是能够一辈子不犯错误的”。
若“所有的人都不是能够一辈子不犯错误的”为真，则： “所有的人都是能够一辈子不犯错误的”为假， “有的人是能够一辈子不犯错误的”为假， “有的人不是能够一辈子不犯错误的”为真。 （3）若“有的玫瑰花是不带刺的”是假的，则： “所有的玫瑰花都是不带刺的”是假的； “所有的玫瑰花都不是不带刺的”是真的； “有的玫瑰花不是不带刺的”是真的。 （4）若“有的男人不惜香怜玉”是真的，则： “所有的男人都惜香怜玉”是假的， “所有的男人都不惜香怜玉”真假不确定； “有的男人惜香怜玉”真假不确定。
17、“没有政客是不说谎的”的规范格式为：“所有政客都是说谎的”。若“所有政客都是说谎的”为真，则根据逻辑方阵的对当关系，可推出：
（1）“美国前总统克林顿说谎”是真的（在逻辑对当关系中，单称肯定判断等值于全称肯定判断），
（2）“政客并非都说谎”等值于“有的政客不是说谎的”为假（矛盾关系）， （3）“有的政客说谎”是真的（差等关系），
（4）“没有一个政客说谎”的规范格式为“所有的政客都不是说谎的”为假（反对关系），
2
（5）“并非有政客不说谎”的规范格式为“所有的政客都说谎”是真的（等值关系）， （6）“美国前总统克林顿不说谎”（在逻辑对当关系中，单称肯定判断等值于全称肯定判断）是假的。
18、“猛张飞足智多谋”的规范格式是：“猛张飞是足智多谋的”，是单称肯定判断（在逻辑对当关系中，单称肯定判断等值于全称肯定判断）。
若“猛张飞是足智多谋的”为假，则：
（1）“所有的人都不足智多谋”（规范格式为“所有的人都不是足智多谋的”）真假不确定（根据反对关系）；
（2）“诸葛亮足智多谋”（规范格式为“诸葛亮是足智多谋的”）真假不确定，与题干中的“猛张飞”不是同素材；
（3）“并非所有人都足智多谋”（“并非所有人都足智多谋”为负判断，等值于“有的人不是足智多谋的”）为真（根据矛盾关系）；
（4）“有的人足智多谋”（规范格式为“有的人是足智多谋的”）真假不确定（根据差等关系）；
（5）“猛张飞并不足智多谋”（规范格式为“猛张飞不是足智多谋的”）为真（在逻辑方阵中，单称肯定判断与单称否定判断为矛盾关系）；
（6）“难道有人不足智多谋吗”（规范格式为“所有的人都是足智多谋的”）为假。假不确定（与题干的判断等值）。
19、作业（1） ①的欧拉图：
湖南之士广东之商 ③的欧拉图：
殷实的 粤商赤脚的南人
作业（2）
②中画底线的判断蕴涵的逻辑方法：不相容选言判断。 20、
3
（1）从“汪精卫是叛国者”和“汪精卫是中国人”两个前提可以推出“有的叛国者是中国人”或“有的中国人是叛国者”（三段论第三格，其规则为小前提为肯定判断，结论为特称判断；又因为结论格式为SIP，SIP属简单换位，可得结论PIS）。“并非叛国者都不是中国人”属全称否定判断的负判断，等值于SIP(SEP?SIP)。故上述推理有效。
（2）对SEP进行换质位法推理，其过程为：SEP?SAP?PIS?POS。故上述推理有效。
（3）对SAP进行换质位法推理的过程如下:SAP→SEP→PES→PAS→SIP→SOP；对SAP进行换位质法推理的过程如下：SAP?PIS?POS。从以上两个推理方
向可以看出，无法得出结论POS。故由SAP无法推出POS。
（4）设劳动者（劳动）为S，得食者（得食）为P，则不劳动者（劳动）为S,不得食者（得食）为P。相应，“不劳动者不得食”的规范格式为：SAP。对SAP进行换质位法推理的过程表现为:SAP?SEP?PES?PAS。
21、在一个假言判断中，如果前件是后见的充分条件，那么后件就是前件的必要条件。
(p?q)?(q?p)
同样，在一个假言判断中，如果前件是的后件必要条件，那么后件就是前件的充分条件。
(p?q)?(q?p)
p + + _ _ q + _ + _ p?q q?p p?q q?p + _ + + + _ + + + + _ + + + _ + 从以上真值表可以看出，(p?q)?(q?p)，(p?q)?(q?p)。 22、
前提中各判断（条件）的关系，可格式化为： ①4?6；
4
②1?3；
③3?6（或3严格析取6）； ④(9?12)?4； ⑤1?12。 推理过程如下：
⑥根据⑤得：1 联言推理的分解式； ⑦根据⑤得：12 联言推理的分解式；
⑧根据②、⑥得： [(1?3)?1]?3 必要条件假言推理的否定前件否定后件式； ⑨根据③、⑧得：[(3?6)?3]?6 不相容选言推理的肯定否定式；
⑩根据①、⑨得：[(4?6)?6]?4 充分条件假言推理的否定后件否定前件式； 11根据④、⑩得：([(9?12)?○定前件式；
12根据○11得：9?12 联言判断的负判断及其等值判断 ○
13根据○12、②得：[(9?12)?12]?9 相容宣言推理的否定肯定式 ○
故结论：不派9号上场。 23、
所以，有些游手好闲者可能是流氓。三段论第三格，小前提为肯定判断，结论为特称判断。
24、 （1）
MEP PEM SAM 或 SAM SEP(SOP) SEP(SOP)
三段论第一格。大前提为全称判断，小前提为肯定判断。 或：
三段论第二格。大前提为全称判断，两个前提中有一个是否定判断。 （2）
5
4]?4)?9?12 充分条件假言推理的否定后件否