- 1、本文档共36页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
六复合判断及其演绎推理假言联言推理定义:由假
第六章 复合判断及其演绎推理(二) 二、假言联言推理 1定义:由假言判断和联言判断作前提,并且根据假言前提联结项的逻辑性质而推出结论的演绎推理。 简单式 构成式 2类型 破坏式 复杂式 构成式 破坏式 第六章 复合判断及其演绎推理(二) 一、假言三段论推理 是一个前提为假言判断,另一个前提可以是非假言判断中的任何一种判断,并且根据假言联结项的逻辑性质推出结论的演绎推理。 1充分条件假言三段论推理:一个前提为充分条件假言判断,另一个前提为其它类型的判断,并且根据充分条件假言判断联结项的性质推出结论的假言三段论推理。 规则:肯定前件就要肯定后件;否定后件就要否定 前件。 否定前件不能否定后件;肯定后件不能肯定 前件。 有效推理形式有两种: 肯定前件式:(有前件就有后件) 如果p,那么q p ; 所以,q 或:((p→q)∧ p)→ q 例:如果这份合同是有效的,那么它是经双方同意 这份合同是有效的 ; 所以,它是经双方同意的 错误:如果这份合同是有效的,那么它是经双方同意 这份合同是无效的 ; 所以,它不是经双方同意的 否定后件式:(没有后件就没有前件) 如果p,那么q 非q ; 所以,非p 或:((p→q)∧ q )→ p 例:如果这份合同是有效的,那么它是经双方同意 它不是经双方同意的 ; 所以,这份合同不是有效的 × 如果这份合同是有效的,那么它是经双方同意 它是经双方同意的 ; 所以,这份合同是有效的 2必要条件假言三段论:一个前提为必要条件假言判断,另一个前提为其它类型的判断,并且根据必要条件假言判断联结项的性质推出结论的假言三段论推理。 规则:肯定后件就要肯定前件;否定前件就要否定 后件。 肯定前件不能肯定后件;否定后件不能否定 前件。 有两种形式: 肯定后件式:(有后件就有前件) 只有p,才q q ; 所以, p 或:((p←q)∧ q )→ p 否定前件式:(没有前件就没有后件) 只有p,才q 非p ; 所以, 非q 或:((p←q)∧ p )→ q 例:他只有年满十八岁,才有选举权。 他没有年满十八岁 ;(否定前件式 所以,他没有选举权。 他只有年满十八岁,才有选举权。 他有选举权 ; (肯定后件式 所以,他年满十八岁 。 错误的形式有: 他只有年满十八岁,才有选举权。 他年满十八岁
文档评论(0)