- 1、本文档共52页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
精选课件第五章,演绎推理
3.有效式(1)否定前件式 例如:只有年满十八岁,才有选举权,小王没有年满十八岁,———————————————所以,小王没有选举权。p←—q 只有p,才q﹁ p 非p—————— ————————﹁ q 所以,非q 或:((p←—q)∧﹁p)—→﹁q (2)肯定后件式 例如:只有具有社会危害性的行为,才是犯罪行为,他的行为是犯罪行为,—————————————————————所以,他的行为是具有社会危害性的行为。p←—q 只有p,才qq q—————— ————————p 所以,p 或:((p←—q)∧ q)—→ p 四)、充分必要条件假言推理 1.定义充分必要条件假言推理是前提中有一个充分必要条件假言判断,并根据充分必要条件假言判断的逻辑性质进行的推理。充分必要条件假言判断的逻辑性质2.规则(1)肯定前件,就要肯定后件。(必真:真值表1)肯定后件,就要肯定前件。(必真:真值表1)(2)否定前件,就要否定后件。(必真:真值表4)否定后件,就要否定前件。(必真:真值表4) 3.有效式(1)肯定前件式: 例如当且仅当一个人犯了罪,则应受到刑罚的处罚,他犯了罪,———————————————————————所以,他应受到刑罚的处罚p←→q 当且仅当p,则qp p—————— ————————q 所以,q 或:((p←→q)∧p)—→q (2)肯定后件式: 例如:当且仅当一个人犯了罪,则应受到刑罚的处罚,他受到了刑罚的处罚,—————————————————————所以,他犯了罪。p←→q 当且仅当p,则qq q—————— ————————p 所以,p 或:((p←→q)∧ q)—→ p (3)否定前件式: 例如当且仅当一个人犯了罪,则应受到刑罚的处罚,他没有犯罪,—————————————————————所以,他不应受到刑罚的处罚p←→q 当且仅当p,则q﹁ p 非p—————— ————————﹁ q 所以,非q 或:((p←→q)∧﹁p)—→﹁q (4)否定后件式: 例如当且仅当一个人犯了罪,则应受到刑罚的处罚,他没有受到刑罚的处罚,—————————————————————所以,他没有犯罪p←→q 当且仅当p,则q﹁q 非q—————— ————————﹁p 所以,非p 或:((p←→q)∧﹁q)—→﹁p 四)假言选言推理(二难推理) 一、什么是假言选言推理1.定义假言选言推理是以两个具有合取关系的充分条件假言判断(命题)和一个具有二支的选言判断(命题)为前提的演绎推理。又称“二难推理”。 如果上帝能创造出这样一块石头,那么上帝就不是万能的(因为上帝至少还有一块石头搬不动),如果上帝不能创造这样一块石头,那么上帝也不是万能的(因为上帝至少还有一块石头不能创造),上帝或者能创造这样一块石头,或者不能创造这样一块石头,—————————————————————总之,上帝不是万能的。 二)、二难推理的种类 根据二难推理的结论是直言判断还是选言判断,二难推理分为简单的和复杂的两种;又根据选言前提的选言肢分别是肯定假言前提的前件还是否定假言前提的后件,二难推理又分为构成式和破坏式。结合两者,可以得到二难推理四种形式:简单构成式、简单破坏式、复杂构成式和复杂破坏式。 1.简单的构成式如果p,那么r; p—→r;如果q,那么r; q—→r或者p,或者q; p∨q所以,总是r。 r 过桥者智慧,鳄鱼与埃及妇女 2.简单的破坏式如果p,那么q; p—→q如果p,那么r; p—→r或者非q,或者非r; ﹁q∨﹁r所以,非p。 ﹁p 买喇叭的故事, 如果要买喇叭,你不能在工作的时候,吹喇叭 如果要买喇叭,你不能在睡觉 的时候吹喇叭 或者在工作时吹,或者在睡觉时吹 所以不能买喇叭 3.复杂的构成式如果p,那么q; p—→q如果r,那么s; r—→s或者p,或者r; p∨r所以,或者q,或者s。 q∨s 不死酒,东方朔喝不死酒 如果这酒能使人不死,那么你就杀不死我 如果你真把我杀死了,那么就说明不死酒不灵验,是大王受骗 或者是这酒真使人不死,或者你把我杀死 所以或者杀不死我,或者大王受骗 4.复杂的破坏式如果p,那么q; p—→q如果r,那么s; r—→s或者非q,或者非s; ﹁q∨﹁s所以,或者非p,或者非r。 ﹁p∨﹁r 三斤肉的故事 如果秤盘上东西是我家的猫,那么我的三斤肉不在了, 如果秤盘上东西是我那三斤肉,那么我家的猫不在了 或者三斤肉还在,或者 是我家的猫还在 所以天平上或者不是我家的猫,或者不是我的
文档评论(0)