谓词逻辑PPT上习题及答案.docVIP

谓词逻辑（一）PPT上习题及答案 1、所有的企业家都是MBA.所以，并非所有的企业家都不是MBA。 SAP→﹁SEP 2、所有的客观规律都不是以人的意志为转移的，所以，并非所有的客观规律都是以人的意志为转移的。 SEP→﹁SAP 3、并非有的有限责任公司是上市公司，所以，有的有限责任公司不是上市公司。 ﹁SIP→SOP 4、在库存的产品中，并非有的产品不是劣质产品，所以，在库存的产品中，有的产品是劣质产品。 ﹁SOP→SIP 5、所有的人都有保护环境的义务，所以，并非有些人没有保护环境的义务。 SAP→﹁SOP 6、凡放火罪都不是过失犯罪，所以，并非有的放火罪是过失犯罪。 SEP→﹁SIP 7、有的兼职律师是教师，所以，并非所有的兼职律师都不是教师。 SIP→﹁SEP 8、有的克里特岛人不说谎，所以，并非所有的克里特岛人都说谎。 SOP→﹁SAP 9、并非所有的公民都偷税漏税，所以，有的公民不偷税漏税。 ﹁SAP→SIP 10、并非所有国家都没有发生疯牛病，所以，有些国家发生了疯牛病。 ﹁SEP→SIP 11、并非有的正当防卫是负刑事责任的，所以，所有的正当防卫都不是负刑事责任的。 ﹁SIP→SEP 12、并非有的醉酒的人犯罪不负刑事责任，所以，所有醉酒的人犯罪都要负刑事责任。 ﹁SOP→SAP 13、所有作案者都有作案时间，所以，有的作案者有作案时间。 SAP→SIP 14、并非有些未满18 岁的青少年有选举权，所以，并非所有未满18 岁的青少年都有选举权。 ﹁SIP→﹁SAP 15、凡不能正确表达意志的人不能作证，所以，有些不能正确表达意志的人不能作。 SEP→SOP 16、并非有些花朵不是美丽的，所以，并非所有花朵都不是美丽的。 ﹁SOP→﹁SEP 通过调查得知，并非所有个体商贩都有偷税、逃税行为。如果上述调杏的结论是真实的，那么以下哪项一定为真? A. 所有的个体商贩都没有偷税、逃税行为。 B. 多数个体商贩都有偷税、逃税行为。 C. 并非有的个体商贩没有偷税、逃税行为。 D. 并非有的个体商贩有偷税、逃税行为。 E. 有的个体商贩确实没有偷税、逃税行为。 解答：条件“并非所有个体商贩都有偷税、逃税行为”可用逻辑语言写成：﹁SAP（为真） 选项A可写为：SEP。因为SAP与SEP为上反对关系，即可同假不可同真，当SAP为假时，SEP真假不定。 选项B可写为：SIP。因为SAP与SIP为等差关系，即当全称命题假时，特称命题真假不定。 选项C可写为：﹁SOP。因为SAP与SOP为矛盾关系，即不同真不同假，所以当SAP为假时，SOP为真，﹁SOP为假。 选项D可写为：﹁SIP。真假不定，理由同选项B。 选项E可写为：SOP。可以确定为真。理由同选项C。 某大会主席宣布“此方案没有异议，大家都赞同，通过。”如果以上不是事实，下面哪项必为事实? A. 大家都不赞同方案。 B. 有少数人不赞同方案。 C. 有些人赞同，有些人反对。 D. 至少有人是赞同方案的。 E. 至少有人是反对方案的。 解答：由于“大家都赞同”不是事实，所以“并非大家都赞同”为真，即﹁SAP为真。可以推出必定有人反对方案，可能是一部分人，也可能是全部人。 如果所有的鸟都会飞，并且舵鸟是鸟，则驼鸟会飞。从上述前提出发，若加上前提“驼鸟不会飞，但驼鸟是鸟”之后，我们仍不能逻辑地确定下列哪些陈述的真假。 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之间的关系。 SAP SEP SIP 1 0 1 0 1 0 0 0 1 从上表可知，当SAP为真时，SIP为真，SAP为假时，SIP真假不定；当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和SE