第六章复合判断及其演绎推理(二)二假言联言推理1定义由假.ppt

第六章 复合判断及其演绎推理（二） 二、假言联言推理 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 例：他只有年满十八岁，才有选举权。 他没有年满十八岁 ；（否定前件式 所以，他没有选举权。 他只有年满十八岁，才有选举权。 他有选举权 ； （肯定后件式 所以，他年满十八岁 。 错误的形式有： 他只有年满十八岁，才有选举权。 他年满十八岁