《谓词逻辑(一)PPT上习题及答案.doc》由会员分享，可在线阅读，更多相关《谓词逻辑(一)PPT上习题及答案.doc（9页珍藏版）》请在金锄头文库上搜索。
1、谓词逻辑（一）PPT上习题及答案1、所有的企业家都是MBA.所以，并非所有的企业家都不是MBA。 SAPSEP2、所有的客观规律都不是以人的意志为转移的，所以，并非所有的客观规律都是以人的意志为转移的。 SEPSAP3、并非有的有限责任公司是上市公司，所以，有的有限责任公司不是上市公司。 SIPSOP4、在库存的产品中，并非有的产品不是劣质产品，所以，在库存的产品中，有的产品是劣质产品。 SOPSIP5、所有的人都有保护环境的义务，所以，并非有些人没有保护环境的义务。 SAPSOP6、凡放火罪都不是过失犯罪，所以，并非有的放火罪是过失犯罪。 SEPSIP7、有的兼职律师是教师，所以，并非所有的
2、兼职律师都不是教师。 SIPSEP8、有的克里特岛人不说谎，所以，并非所有的克里特岛人都说谎。 SOPSAP9、并非所有的公民都偷税漏税，所以，有的公民不偷税漏税。 SAPSIP10、并非所有国家都没有发生疯牛病，所以，有些国家发生了疯牛病。 SEPSIP11、并非有的正当防卫是负刑事责任的，所以，所有的正当防卫都不是负刑事责任的。 SIPSEP12、并非有的醉酒的人犯罪不负刑事责任，所以，所有醉酒的人犯罪都要负刑事责任。 SOPSAP13、所有作案者都有作案时间，所以，有的作案者有作案时间。 SAPSIP14、并非有些未满18 岁的青少年有选举权，所以，并非所有未满18 岁的青少年都有选举权
3、。 SIPSAP15、凡不能正确表达意志的人不能作证，所以，有些不能正确表达意志的人不能作。 SEPSOP16、并非有些花朵不是美丽的，所以，并非所有花朵都不是美丽的。SOPSEP通过调查得知，并非所有个体商贩都有偷税、逃税行为。如果上述调杏的结论是真实的，那么以下哪项一定为真?A. 所有的个体商贩都没有偷税、逃税行为。B. 多数个体商贩都有偷税、逃税行为。C. 并非有的个体商贩没有偷税、逃税行为。D. 并非有的个体商贩有偷税、逃税行为。E. 有的个体商贩确实没有偷税、逃税行为。解答：条件“并非所有个体商贩都有偷税、逃税行为”可用逻辑语言写成：SAP（为真）选项A可写为：SEP。因为SAP与S
4、EP为上反对关系，即可同假不可同真，当SAP为假时，SEP真假不定。选项B可写为：SIP。因为SAP与SIP为等差关系，即当全称命题假时，特称命题真假不定。选项C可写为：SOP。因为SAP与SOP为矛盾关系，即不同真不同假，所以当SAP为假时，SOP为真，SOP为假。选项D可写为：SIP。真假不定，理由同选项B。选项E可写为：SOP。可以确定为真。理由同选项C。某大会主席宣布“此方案没有异议，大家都赞同，通过。”如果以上不是事实，下面哪项必为事实?A. 大家都不赞同方案。B. 有少数人不赞同方案。C. 有些人赞同，有些人反对。D. 至少有人是赞同方案的。E. 至少有人是反对方案的。解答：由于“
5、大家都赞同”不是事实，所以“并非大家都赞同”为真，即SAP为真。可以推出必定有人反对方案，可能是一部分人，也可能是全部人。如果所有的鸟都会飞，并且舵鸟是鸟，则驼鸟会飞。从上述前提出发，若加上前提“驼鸟不会飞，但驼鸟是鸟”之后，我们仍不能逻辑地确定下列哪些陈述的真假。I.并非所有的鸟都会飞，II. 有的鸟会飞，III. 所有的鸟都不会飞;IV.有的鸟不会飞。V. 所有的鸟都会飞。A. 仅II。 B. 仅III。C. 仅II和III。D. 仅I、II、III。E. I、II、III、IV、V。如果已经知道三个命题具有对当关系中的两种关系，其中必有一种是矛盾关系，那么可以推出它们之间具有的另一种关系
6、。1、已知SAP和SEP反对关系，SEP和SIP是矛盾关系，请证明SAP和SIP之间的关系。SAPSEPSIP101010001 从上表可知，当SAP为真时，SIP为真，SAP为假时，SIP真假不定；当SIP为假时，SAP为假，SIP为真时，SAP真假不定。所以SAP与SIP为等差关系。2、已知SIP和SOP是下反对关系，SIP和SEP是矛盾关系，请证明SEP和SOP是差等关系。SEPSIPSOP101011010 从上表可知，当SEP为真时，SOP为真，SEP为假时，SOP真假不定；当SOP为假时，SEP为假，SOP为真时，SEP真假不定。所以，SEP与SOP为等差关系。3、已知SEP和SO
7、P是差等关系，SIP和SEP是矛盾关系，请证明SIP和SOP是下反对关系。SIPSEPSOP101100011从上表可知，当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真 SIP真SEP假 SIP假SAP假 SIP假SEP真 SIP假SOP真 SOP真SAP假 SOP假SEP假 SOP假SAP真 SOP假SIP真2、根据对当关系的推理，请问从命题“
8、所有犯罪行为都是危害社会的行为”出发，可以推出哪些命题？ 由SAP可推出【1】SOP：并非有的犯罪行为不是危害社会的行为 【2】SEP：并非所有犯罪行为都不是危害社会的行为 【3】SIP：有些犯罪行为是危害社会的行为3、下面是甲乙丙丁四人的对话，已知只有一人说假话，试分析说假话者是谁?甲：“所有的电视机在出厂之前都被严格检验过了”。乙：“没有电视机在出厂之前被严格检验过。”丙：“说有的电视机在出厂之前没有被严格检验，这不符合事实。”丁：“有的电视机在出厂之前被严格检验过”。答：甲：SAP。乙：SEP。丙：SOP。丁：SIP。由于SEP与SIP为矛盾关系，所以二者中必有一真一假。SAP与SEP为
9、上反对关系，可同假不可同真。SAP与SOP为矛盾关系。所以当SAP为真，SEP为假，SIP为真，SOP为假，SOP为真时，符合条件要求的“只有一个人说假话”。所以说假话的是乙。据报载：美国作家马克吐温的渡金时代发表后，一次在酒宴上答记者问时说：“美国国会中有些议员是婊子养的”，记者将此言公之报端。华盛顿的议员们大为愤怒，纷纷要求其道歉。数日后，纽约时报上出现了马克吐温的道歉：“日前鄙人在酒席上说有些国会议员是婊子养的，我再三考虑，觉得此言不妥，现把我的话修改如下：“美国国会中有些议员不是婊子养的。”请问：马克吐温道歉了吗，为什么?答：没有道歉。“美国国会中有些议员是婊子养的”是一个SIP命题。
10、“美国国会中有些议员不是婊子养的”是一个SOP命题。SIP与SOP是下反对关系，可同真不可同假。即SIP与SOP不可能同时不成立，它们中至少有一个是正确的。无论怎样说，美国国会中仍然存在婊子养的议员。在某次税务检查后， 四个士商管理人员有如下结论：甲：所有个体户都没纳税。乙：服装个体户陈老板没纳税。丙：个体户不都没纳税。丁：有的个体户没纳税。如果四个人中只有一人断定属实，那么以下哪项是真的?A. 甲断定属实， 陈老板没有纳税。B. 丙断定属实， 陈老板纳了税。C. 丙断定属实， 但陈老板没纳税。D. 丁断定属实， 陈老板未纳税。E 丁断定属实， 但陈老板纳了税。答：甲断定SEP，乙断定Sap,
11、丙断定SEP，丁断定SOP，且只有一人属实。若甲属实，即当SEP为真，Sap也为真，不符合条件。若乙属实，即当Sap为真，SOP为真，不符合条件。若丙属实，即当SEP为真，Sap和SOP都真假不定。若丁属实，即当SOP为真，则Sap为真，不符合条件。所以丙断定属实，同时乙断定不属实，故选B。关于某公司人员会使用互联网的情况有以下断定I.该公司所有人员都会使用互联网。II. 该公司的赵云会使用互联网。III.该公司有些人会使用豆联网。IV.该公司有些人不会使用互联网。经过详细考察，发现上述断定中只有两个是对的。以下哪项结论可以从上述条件必然推出?A. 该公司的赵云会使用互联网。B. 该公司的有些
12、人不会使用互联网。c. 该公司所有人都会使用互联网。D. 该公司所有人都不会使用互联网。E. 该公司没有一个人会使用互联网。答：“I.该公司所有人员都会使用互联网。”写为SAP。“II. 该公司的赵云会使用互联网。”写为Sap。“III.该公司有些人会使用豆联网。”写为SIP。“IV.该公司有些人不会使用互联网。”写为SOP。上述断定只有两个是对的。因为SAP与SOP为矛盾关系，所以必有一真一假。假设SAP为真，则SOP为假，则Sap为真，SIP为真，不符合条件。所以SAP为假，则SOP为真。此时，Sap和SIP真假不定。所以5个选项中只有B选项是必然的。画出下列命题的文恩图有雕刻家是画家。
13、S：雕刻家 P：画家+SP SP0没有小商贩是百万富翁。 S：小商贩 P：百万富翁 SP=0PS所有商人都是投机者。SP S：商人 P：投机者 S P =0有音乐家不是小提琴手。SP+ S：音乐家 P：小提琴手 S P 0有名望很高的政治人物是无赖。SP+ S：名望很高的政治人物 P：无赖 SP0所有拿到国家许可证的执业医生是通过可特定的资格考试的医学院的毕业生。SP S：所有拿到国家许可证的执业医生 P：通过特定资格考试的医学院毕业生 S P =0没有现代画作是跟照片一模一样的。SP S：现代画作 P：照片 SP=0有表现出所有精神分裂症状的人不是癫狂患者。SP+ S：表现出所有精神分裂症状
14、的人P：癫狂患 S P 0给出下列命题的换位命题，并指出哪些与被换位命题等价。1、 没有关心别人的人是不顾交通法规的鲁莽的驾车人。没有不顾交通法规的鲁莽的驾车人是关心别人的人。（等价）2.所有西点军校的毕业生是美国军队任命的军官。所有美国军队任命的军官是西点军校的毕业生。（不等价）3.有些欧洲轿车是价高质劣的汽车。 有些价高质劣的汽车是欧洲轿车。（等价）4.没有爬行动物是恒温动物。 没有恒温动物是爬行动物。（等价）5.有专业摔跤运动员是体力不支的老者。 有体力不支的老者是专业摔跤运动员。（等价）写出下列命题的换质命题。1、有大学选手是职业运动员。 有大学选手不是非职业运动员。2、没有化合物是金属。 没有化合物不是非金属。3、有牧师不是戒酒的人。 有牧师是不戒酒的人。4、没有天才是
