《2022年谓词逻辑上习题及答案分享 .pdf》由会员分享，可在线阅读，更多相关《2022年谓词逻辑上习题及答案分享 .pdf（9页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、1 谓词逻辑（一）PPT上习题及答案1、所有的企业家都是MBA. 所以，并非所有的企业家都不是MBA 。SAP SEP 2、所有的客观规律都不是以人的意志为转移的，所以，并非所有的客观规律都是以人的意志为转移的。SEP SAP 3、并非有的有限责任公司是上市公司，所以，有的有限责任公司不是上市公司。SIPSOP 4、在库存的产品中，并非有的产品不是劣质产品，所以，在库存的产品中，有的产品是劣质产品。SOPSIP 5、所有的人都有保护环境的义务，所以，并非有些人没有保护环境的义务。SAP SOP 6、凡放火罪都不是过失犯罪，所以，并非有的放火罪是过失犯罪。SEP SIP 7、有的兼职律师是教师，
2、所以，并非所有的兼职律师都不是教师。SIP SEP 8、有的克里特岛人不说谎，所以，并非所有的克里特岛人都说谎。SOP SAP 9、并非所有的公民都偷税漏税，所以，有的公民不偷税漏税。SAPSIP 10、并非所有国家都没有发生疯牛病，所以，有些国家发生了疯牛病。SEPSIP 11、并非有的正当防卫是负刑事责任的，所以，所有的正当防卫都不是负刑事责任的。SIPSEP 12、并非有的醉酒的人犯罪不负刑事责任，所以，所有醉酒的人犯罪都要负刑事责任。SOPSAP 13、所有作案者都有作案时间，所以，有的作案者有作案时间。SAPSIP 14、并非有些未满18 岁的青少年有选举权，所以，并非所有未满18
3、岁的青少年都有选举权。SIP SAP 15、凡不能正确表达意志的人不能作证，所以，有些不能正确表达意志的人不能作。SEPSOP 16、并非有些花朵不是美丽的，所以，并非所有花朵都不是美丽的。SOP SEP 通过调查得知，并非所有个体商贩都有偷税、逃税行为。如果上述调杏的结论是真实的，那么以下哪项一定为真 ? A. 所有的个体商贩都没有偷税、逃税行为。B. 多数个体商贩都有偷税、逃税行为。C. 并非有的个体商贩没有偷税、逃税行为。D. 并非有的个体商贩有偷税、逃税行为。E. 有的个体商贩确实没有偷税、逃税行为。解答：条件“并非所有个体商贩都有偷税、逃税行为”可用逻辑语言写成：SAP（为真）选项
4、A 可写为： SEP。因为 SAP 与 SEP为上反对关系，即可同假不可同真，当SAP 为假时， SEP真名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 1 页，共 9 页 - - - - - - - - - 2 假不定。选项 B 可写为： SIP。因为 SAP 与 SIP 为等差关系，即当全称命题假时，特称命题真假不定。选项 C 可写为： SOP。因为 SAP 与 SOP 为矛盾关系，即不同真不同假，所以当SAP 为假时， SOP为真， SOP为假。选项 D 可写为： SIP。真假
5、不定，理由同选项B。选项 E 可写为： SOP。可以确定为真。理由同选项C。某大会主席宣布“此方案没有异议，大家都赞同，通过。”如果以上不是事实，下面哪项必为事实? A. 大家都不赞同方案。B. 有少数人不赞同方案。C. 有些人赞同，有些人反对。D. 至少有人是赞同方案的。E. 至少有人是反对方案的。解答：由于“大家都赞同”不是事实，所以“并非大家都赞同”为真，即SAP 为真。可以推出必定有人反对方案，可能是一部分人，也可能是全部人。如果所有的鸟都会飞，并且舵鸟是鸟，则驼鸟会飞。从上述前提出发，若加上前提“驼鸟不会飞，但驼鸟是鸟”之后，我们仍不能逻辑地确定下列哪些陈述的真假。I.并非所有的鸟都
6、会飞，II. 有的鸟会飞，III. 所有的鸟都不会飞; IV.有的鸟不会飞。V. 所有的鸟都会飞。A. 仅 II 。B. 仅 III 。C. 仅 II 和 III 。D. 仅 I、II 、III 。E. I、II 、III 、IV、V。如果已经知道三个命题具有对当关系中的两种关系，其中必有一种是矛盾关系，那么可以推出它们之间具有的另一种关系。1、已知 SAP 和 SEP反对关系， SEP 和 SIP 是矛盾关系，请证明SAP 和 SIP 之间的关系。SAP SEP SIP 1 0 1 0 1 0 0 0 1 从上表可知，当SAP 为真时， SIP 为真， SAP 为假时， SIP 真假不定；当
7、SIP 为假时， SAP 为假， SIP为真时， SAP 真假不定。所以SAP 与 SIP为等差关系。2、已知 SIP 和 SOP是下反对关系，SIP和 SEP 是矛盾关系，请证明SEP 和 SOP是差等关系。SEP SIP SOP 1 0 1 0 1 1 0 1 0 从上表可知，当SEP为真时， SOP 为真， SEP 为假时， SOP 真假不定；当SOP 为假时， SEP 为假，SOP为真时， SEP真假不定。所以，SEP 与 SOP为等差关系。3、已知 SEP和 SOP是差等关系， SIP 和 SEP是矛盾关系，请证明SIP 和 SOP 是下反对关系。SIP SEP SOP 名师资料总结
8、 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 2 页，共 9 页 - - - - - - - - - 3 1 0 1 1 0 0 0 1 1 从上表可知，当SIP 为假时， SOP为真， SOP为假时， SIP 为真， SIP 与 SOP 可同真不可同假，所以SIP 与 SOP为下反对关系。1、请写出对当关系所有有效的推理形式。SAP 真 SOP假SAP 真 SEP假 SAP 真 SIP 真 SAP 假 SOP真SEP真 SAP 假SEP 真 SIP 假SEP 真 SOP真 SEP 假 SIP
9、 真SIP真 SEP假SIP 假 SAP 假SIP 假 SEP真SIP 假 SOP 真SOP真 SAP 假SOP 假 SEP假SOP 假 SAP 真 SOP假 SIP 真2、根据对当关系的推理，请问从命题“所有犯罪行为都是危害社会的行为”出发，可以推出哪些命题？由 SAP 可推出【 1】SOP：并非有的犯罪行为不是危害社会的行为【2】 SEP：并非所有犯罪行为都不是危害社会的行为【3】SIP：有些犯罪行为是危害社会的行为3、下面是甲乙丙丁四人的对话，已知只有一人说假话，试分析说假话者是谁? 甲： “所有的电视机在出厂之前都被严格检验过了”。乙： “没有电视机在出厂之前被严格检验过。”丙： “说
10、有的电视机在出厂之前没有被严格检验，这不符合事实。”丁： “有的电视机在出厂之前被严格检验过”。答：甲： SAP。乙： SEP。丙： SOP。丁： SIP。由于 SEP 与 SIP 为矛盾关系，所以二者中必有一真一假。SAP 与 SEP 为上反对关系，可同假不可同真。SAP 与 SOP 为矛盾关系。所以当SAP 为真， SEP为假， SIP 为真， SOP为假， SOP为真时，符合条件要求的“只有一个人说假话”。所以说假话的是乙。据报载：美国作家马克吐温的渡金时代发表后，一次在酒宴上答记者问时说：“美国国会中有些议员是婊子养的”，记者将此言公之报端。华盛顿的议员们大为愤怒，纷纷要求其道歉。数日
11、后，纽约时报上出现了马克吐温的道歉：“日前鄙人在酒席上说有些国会议员是婊子养的，我再三考虑，觉得此言不妥，现把我的话修改如下：“美国国会中有些议员不是婊子养的。”请问：马克吐温道歉了吗，为什么? 答：没有道歉。“美国国会中有些议员是婊子养的”是一个SIP 命题。 “美国国会中有些议员不是婊子养的”是一个SOP命题。 SIP 与 SOP是下反对关系，可同真不可同假。即SIP 与 SOP不可能同时不成立，它们中至少有一个是正确的。无论怎样说，美国国会中仍然存在婊子养的议员。在某次税务检查后，四个士商管理人员有如下结论：甲：所有个体户都没纳税。乙：服装个体户陈老板没纳税。丙：个体户不都没纳税。丁：有
12、的个体户没纳税。如果四个人中只有一人断定属实，那么以下哪项是真的? A. 甲断定属实，陈老板没有纳税。B. 丙断定属实，陈老板纳了税。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 3 页，共 9 页 - - - - - - - - - 4 C. 丙断定属实，但陈老板没纳税。D. 丁断定属实，陈老板未纳税。E 丁断定属实，但陈老板纳了税。答：甲断定SEP，乙断定 Sap,丙断定 SEP，丁断定 SOP，且只有一人属实。若甲属实，即当SEP为真， Sap 也为真，不符合条件。若乙属实，
13、即当Sap 为真， SOP为真，不符合条件。若丙属实，即当SEP为真， Sap 和 SOP都真假不定。若丁属实，即当SOP 为真，则 Sap 为真，不符合条件。所以丙断定属实，同时乙断定不属实，故选B。关于某公司人员会使用互联网的情况有以下断定I.该公司所有人员都会使用互联网。II. 该公司的赵云会使用互联网。III. 该公司有些人会使用豆联网。IV.该公司有些人不会使用互联网。经过详细考察，发现上述断定中只有两个是对的。以下哪项结论可以从上述条件必然推出? A. 该公司的赵云会使用互联网。B. 该公司的有些人不会使用互联网。c. 该公司所有人都会使用互联网。D. 该公司所有人都不会使用互联网
14、。E. 该公司没有一个人会使用互联网。答： “I.该公司所有人员都会使用互联网。”写为SAP。 “II. 该公司的赵云会使用互联网。”写为Sap。 “ III.该公司有些人会使用豆联网。”写为 SIP。 “IV.该公司有些人不会使用互联网。”写为 SOP。上述断定只有两个是对的。 因为 SAP 与 SOP 为矛盾关系， 所以必有一真一假。假设 SAP 为真，则 SOP为假，则 Sap为真，SIP 为真，不符合条件。所以SAP 为假，则SOP为真。此时， Sap 和 SIP 真假不定。所以5 个选项中只有B 选项是必然的。画出下列命题的文恩图有雕刻家是画家。S：雕刻家P：画家SP0 没有小商贩是
15、百万富翁。S：小商贩P：百万富翁SP=0 所有商人都是投机者。S P + S P 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 4 页，共 9 页 - - - - - - - - - 5 S：商人P：投机者S P =0 有音乐家不是小提琴手。S：音乐家P：小提琴手S P 0 有名望很高的政治人物是无赖。S：名望很高的政治人物P：无赖SP0 所有拿到国家许可证的执业医生是通过可特定的资格考试的医学院的毕业生。S：所有拿到国家许可证的执业医生P：通过特定资格考试的医学院毕业生S P =
16、0 没有现代画作是跟照片一模一样的。S：现代画作P：照片SP=0 S P S P S P + S P + S P 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 5 页，共 9 页 - - - - - - - - - 6 有表现出所有精神分裂症状的人不是癫狂患者。S：表现出所有精神分裂症状的人P：癫狂患S P 0 给出下列命题的换位命题，并指出哪些与被换位命题等价。1、 没有关心别人的人是不顾交通法规的鲁莽的驾车人。没有不顾交通法规的鲁莽的驾车人是关心别人的人。（等价）2.所有西点军
17、校的毕业生是美国军队任命的军官。所有美国军队任命的军官是西点军校的毕业生。（不等价）3.有些欧洲轿车是价高质劣的汽车。有些价高质劣的汽车是欧洲轿车。（等价）4.没有爬行动物是恒温动物。没有恒温动物是爬行动物。（等价）5.有专业摔跤运动员是体力不支的老者。有体力不支的老者是专业摔跤运动员。（等价）写出下列命题的换质命题。1、有大学选手是职业运动员。有大学选手不是非职业运动员。2、没有化合物是金属。没有化合物不是非金属。3、有牧师不是戒酒的人。有牧师是不戒酒的人。4、没有天才是墨守成规的人。没有天才不是不墨守成规的人。5、所有适合作锚的东西是至少重十五磅的东西。所有适合作锚的东西不是轻于十五磅的东
18、西。写出下列的命题的换质位命题，并指出哪些与原命题等价。1、所有记者是悲观主义者。所有记者不是非悲观主义者。所有非悲观主义者不是记者。（等价）2、有士兵不是军官。有士兵是非军官。有非军官是士兵。 （等价）3、所有学者不是堕落者。所有学者是非堕落者。所有非堕落者是学者。 （不等价）4、所有轻于十五磅的东西不是高于四英尺的东西。S P + 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 6 页，共 9 页 - - - - - - - - - 7 所有轻于十五磅的东西是不高于四英尺的东西。
19、所有不高于四英尺的东西是轻于十五磅的东西。（不等价）5、有非公民不是非居民。有非公民是居民。有居民是非公民。 （等价）指出下列无效的三段论形式违反了哪条规则，犯了何种谬误：2-AAA ：违反了规则【1】中项必须至少在一个前提中周延1-EAA ：违反了规则【 4】前提之一否定，结论也必须否定3-IAO ：违反了规则【5】两个肯定前提不能得出否定的结论4-OEO ：违反了规则【 2】前提中不周延的词项，在结论中也不得周延3-AAA ：违反了规则【2】2-IAI ：违反了规则【 1】3-OAA ：违反了规则【2】4-EAO ：在空类存在的情况下，全称命题不蕴含特称命题。从两个全称命题推出特称命题的三
20、段论是无效的。3-OAI ：违反了规则【4】1-IEO ：违反了规则【2】3-EAO ：在空类存在的情况下，全称命题不蕴含特称命题。从两个全称命题推出特称命题的三段论是无效的。2-AII ：违反了规则【 1】1-EEE：违反了规则【 3】2-OAO ：违反了规则【2】3-IAA ：违反了规则【 2】请用文恩图检验下列三段论的有效性：所有大科学家都是大学毕业生，所有职业运动员是大学毕业生，所以，有职业运动员是大科学家。I：大学毕业生S：大科学家P：职业运动员SP 是否等于 0 不能确定。所以三段论无效。把下列三段论转化为标准形式，给出它们的格与式，并用文恩图检验有效性：1、有改革者是狂徒，所以有
21、理想主义者是狂徒，因为所有改革者是理想主义者。有改革者是狂徒所有改革者是理想主义者所以有理想主义者是狂徒S P I 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 7 页，共 9 页 - - - - - - - - - 8 3-IAI M ：改革者 S：理想主义者P：狂徒如图，三段论有效。2、 有哲学家是数学家，因为有科学家是哲学家，而所有科学家是数学家。所有科学家是数学家有科学家是哲学家有哲学家是数学家3-AII P：数学家S：哲学家M ：科学家如图，三段论有效。3、有哺乳动物不是
22、马，因为没有马是人头马，所有人头马是哺乳动物。没有马是人头马所有人头马是哺乳动物有哺乳动物不是马4-EAO P：马S：哺乳动物M ：人头马如图，三段论成立。M P S + M P S + M P S + 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 8 页，共 9 页 - - - - - - - - - 9 4、没有音乐家是宇航员，所有音乐家是篮球迷，因此，没有宇航员是篮球迷。所有音乐家是篮球迷没有音乐家是宇航员没有宇航员是篮球迷3-AEE P：篮球迷S：宇航员M ：音乐家如图， S与 P 仍然存在交集，所以三段论无效。M P S + 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 9 页，共 9 页 - - - - - - - - -