普通逻辑学综合练习三参考答案 (1)

《普通逻辑学综合练习三参考答案 (1)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、普通逻辑学综合练习三参考答案一、不定向选择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、MEPMEPM0PMAS或者MIS或者MASSOPSOPSOP13(a)、13(b)、（1）；（2）；（3）；（4）pq++__++_++__+_+++_++__+++__++____三、综合应用题14、“通过歌名”、“通过歌手”、“通过歌词”与“搜索到一首歌”10的逻辑条件关系

2、是充分条件的关系，即有p必有q，无p未必无q。15、参考答案：其中蕴含的逻辑方法：两个充分条件假言判断，一个不相容选言判断。“如果坦白则从宽，如果抗拒则从严；或者坦白则从宽，或者抗拒则从严。”16、（1）原判断“秋菊都开白花”的规范格式为：“所有的秋菊都是开白花的”。若“所有的秋菊都是开白花的”为假，则：“所有的秋菊都不是开白花的”真假不确定；“有的秋菊是开白花的”真假不确定；“有的秋菊不是开白花的”为真。（2）“没有人能够一辈子不犯错误”的规范格式为：“所有的人都不是能够一辈子不犯错误的”。若“所有的人都不是能够一辈子不犯错误的”为真，则：“所有的人都是能够一辈

3、子不犯错误的”为假，“有的人是能够一辈子不犯错误的”为假，“有的人不是能够一辈子不犯错误的”为真。（3）若“有的玫瑰花是不带刺的”是假的，则：“所有的玫瑰花都是不带刺的”是假的；“所有的玫瑰花都不是不带刺的”是真的；“有的玫瑰花不是不带刺的”是真的。（4）若“有的男人不惜香怜玉”是真的，则：“所有的男人都惜香怜玉”是假的，“所有的男人都不惜香怜玉”真假不确定；“有的男人惜香怜玉”真假不确定。17、“没有政客是不说谎的”的规范格式为：“所有政客都是说谎的”。若“所有政客都是说谎的”为真，则根据逻辑方阵的对当关系，可推出：（1）“美国前总统克林顿说谎”是真的（在逻辑对

4、当关系中，单称肯定判断等值于全称肯定判断），（2）“政客并非都说谎”等值于“有的政客不是说谎的”为假（矛盾关系），（3）“有的政客说谎”是真的（差等关系），（4）“没有一个政客说谎”的规范格式为“所有的政客都不是说谎的”10为假（反对关系），（5）“并非有政客不说谎”的规范格式为“所有的政客都说谎”是真的（等值关系），（6）“美国前总统克林顿不说谎”（在逻辑对当关系中，单称肯定判断等值于全称肯定判断）是假的。18、“猛张飞足智多谋”的规范格式是：“猛张飞是足智多谋的”，是单称肯定判断（在逻辑对当关系中，单称肯定判断等值于全称肯定判断）。若“猛张飞是足智多谋的”为假

5、，则：（1）“所有的人都不足智多谋”（规范格式为“所有的人都不是足智多谋的”）真假不确定（根据反对关系）；（2）“诸葛亮足智多谋”（规范格式为“诸葛亮是足智多谋的”）真假不确定，与题干中的“猛张飞”不是同素材；（3）“并非所有人都足智多谋”（“并非所有人都足智多谋”为负判断，等值于“有的人不是足智多谋的”）为真（根据矛盾关系）；（4）“有的人足智多谋”（规范格式为“有的人是足智多谋的”）真假不确定（根据差等关系）；（5）“猛张飞并不足智多谋”（规范格式为“猛张飞不是足智多谋的”）为真（在逻辑方阵中，单称肯定判断与单称否定判断为矛盾关系）；（6）“难道有人不足智多谋

6、吗”（规范格式为“所有的人都是足智多谋的”）为假。假不确定（与题干的判断等值）。19、作业（1）①的欧拉图：③的欧拉图：作业（2）②中画底线的判断蕴涵的逻辑方法：不相容选言判断。1020、（1）从“汪精卫是叛国者”和“汪精卫是中国人”两个前提可以推出“有的叛国者是中国人”或“有的中国人是叛国者”（三段论第三格，其规则为小前提为肯定判断，结论为特称判断；又因为结论格式为，属简单换位，可得结论）。“并非叛国者都不是中国人”属全称否定判断的负判断，等值于()。故上述推理有效。（2）对进行换质位法推理，其过程为：。故上述推理有效。（3）对进行换质位法推理的过程如下:→→→

7、→→；对进行换位质法推理的过程如下：。从以上两个推理方向可以看出，无法得出结论。故由无法推出。（4）设劳动者（劳动）为，得食者（得食）为，则不劳动者（劳动）为,不得食者（得食）为。相应，“不劳动者不得食”的规范格式为：。对进行换质位法推理的过程表现为:。21、在一个假言判断中，如果前件是后见的充分条件，那么后件就是前件的必要条件。同样，在一个假言判断中，如果前件是的后件必要条件，那么后件就是前件的充分条件。pq+++++++___++_+++____++++从以上真值表可以看出，，。22、前提中各判断（条件）的关系，可格式化为：①；10②；③（或3严格析取6）；④

8、；⑤。推理