谓词逻辑(一)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、并非有的醉酒的人犯罪不负刑事责任，所以，所有

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

4、没有偷税、逃税行为。B.多数个体商贩都有偷税、逃税行为。C.并非有的个体商贩没有偷税、逃税行为。D.并非有的个体商贩有偷税、逃税行为。E.有的个体商贩确实没有偷税、逃税行为。解答：条件“并非所有个体商贩都有偷税、逃税行为”可用逻辑语言写成：﹁SAP（为真）9选项A可写为：SEP。因为SAP与SEP为上反对关系，即可同假不可同真，当SAP为假时，SEP真假不定。选项B可写为：SIP。因为SAP与SIP为等差关系，即当全称命题假时，特称命题真假不定。选项C可写为：﹁SOP。因为SAP与SOP为矛盾关系，即不同

5、真不同假，所以当SAP为假时，SOP为真，﹁SOP为假。选项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是矛盾关

7、系，请证明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为

8、等差关系。3、已知SEP和SOP是差等关系，SIP和SEP是矛盾关系，请证明SIP和SOP是下反对关系。SIPSEPSOP9101100011从上表可知，当SIP为假时，SOP为真，SOP为假时，SIP为真，SIP与SOP可同真不可同假，所以SIP与SOP为下反对关系。1、请写出对当关系所有有效的推理形式。SAP真→SOP假SAP真→SEP假SAP真→SIP真SAP假→SOP真SEP真→SAP假SEP真→SIP假SEP真→SO