谓词逻辑ppt上习题附标准答案

《谓词逻辑ppt上习题附标准答案》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、谓词逻辑（一）PPT上习题及答案1、所有的企业家都是MBA.所以，并非所有的企业家都不是MBA.SAP→﹁SEP2、所有的客观规律都不是以人的意志为转移的，所以，并非所有的客观规律都是以人的意志为转移的.SEP→﹁SAP3、并非有的有限责任公司是上市公司，所以，有的有限责任公司不是上市公司.﹁SIP→SOP4、在库存的产品中，并非有的产品不是劣质产品，所以，在库存的产品中，有的产品是劣质产品.﹁SOP→SIP5、所有的人都有保护环境的义务，所以，并非有些人没有保护环境的义务.SAP→﹁SOP6、凡放火罪都不是过失犯罪，所以，并非

2、有的放火罪是过失犯罪.SEP→﹁SIP7、有的兼职律师是教师，所以，并非所有的兼职律师都不是教师.SIP→﹁SEP8、有的克里特岛人不说谎，所以，并非所有的克里特岛人都说谎.SOP→﹁SAP9、并非所有的公民都偷税漏税，所以，有的公民不偷税漏税.﹁SAP→SIP10、并非所有国家都没有发生疯牛病，所以，有些国家发生了疯牛病.﹁SEP→SIP11、并非有的正当防卫是负刑事责任的，所以，所有的正当防卫都不是负刑事责任的.﹁SIP→SEP12、并非有的醉酒的人犯罪不负刑事责任，所以，所有醉酒的人犯罪都要负刑事责任.﹁SOP→SAP13

3、、所有作案者都有作案时间，所以，有的作案者有作案时间.SAP→SIP14、并非有些未满18岁的青少年有选举权，所以，并非所有未满18岁的青少年都有选举权.﹁SIP→﹁SAP15、凡不能正确表达意志的人不能作证，所以，有些不能正确表达意志的人不能作.SEP→SOP16、并非有些花朵不是美丽的，所以，并非所有花朵都不是美丽的.﹁SOP→﹁SEP通过调查得知，并非所有个体商贩都有偷税、逃税行为.如果上述调杏的结论是真实的，那么以下哪项一定为真?A.所有的个体商贩都没有偷税、逃税行为.B.多数个体商贩都有偷税、逃税行为.C.并非有的个体

4、商贩没有偷税、逃税行为.D.并非有的个体商贩有偷税、逃税行为.E.有的个体商贩确实没有偷税、逃税行为.解答：条件“并非所有个体商贩都有偷税、逃税行为”可用逻辑语言写成：﹁SAP（为真）选项A可写为：SEP.9因为SAP与SEP为上反对关系，即可同假不可同真，当SAP为假时，SEP真假不定.矚慫润厲钐瘗睞枥庑赖。选项B可写为：SIP.因为SAP与SIP为等差关系，即当全称命题假时，特称命题真假不定.选项C可写为：﹁SOP.因为SAP与SOP为矛盾关系，即不同真不同假，所以当SAP为假时，SOP为真，﹁SOP为假.聞創沟燴鐺險爱氇谴

5、净。选项D可写为：﹁SIP.真假不定，理由同选项B.选项E可写为：SOP.可以确定为真.理由同选项C.某大会主席宣布“此方案没有异议，大家都赞同，通过.”如果以上不是事实，下面哪项必为事实?A.大家都不赞同方案.B.有少数人不赞同方案.C.有些人赞同，有些人反对.D.至少有人是赞同方案的.E.至少有人是反对方案的.解答：由于“大家都赞同”不是事实，所以“并非大家都赞同”为真，即﹁SAP为真.可以推出必定有人反对方案，可能是一部分人，也可能是全部人.残骛楼諍锩瀨濟溆塹籟。如果所有的鸟都会飞，并且舵鸟是鸟，则驼鸟会飞.从上述前提出发

6、，若加上前提“驼鸟不会飞，但驼鸟是鸟”之后，我们仍不能逻辑地确定下列哪些陈述的真假.酽锕极額閉镇桧猪訣锥。I.并非所有的鸟都会飞，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之间的关系

7、.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、

8、已知SEP和SOP是差等关系，SIP和SEP是矛盾关系，请证明SIP和SOP是下反对关系.SIPSEPSOP9101100011从上表可知，当SIP为假时，SOP为真，SOP为假时，SIP为真，SIP与SOP可同真不可同假，所以SIP与SOP为下反对关系.茕桢广