第二单元 第六课 第3课时 复合判断的演绎推理方法（Word教师用书）-【状元桥·优质课堂】2022-2023学年新教材高中政治选择性必修3 逻辑与思维 （统编版2019）

第3课时　复合判断的演绎推理方法 课标要求 了解联言推理、选言推理和假言推理；掌握演绎推理的方法。 科学精神：通过运用复合判断的演绎推理方法以及辨析常见推理错误，提高思维能力，树立科学精神。 公共参与：在实际生活中自觉运用三种推理方法。 核心素养 联言推理及其方法 1．联言推理的含义：是依据联言判断的逻辑性质进行的推理。 2．联言推理的合成式 (1)从联言判断与它的联言支的真假关系来说，如果所有的联言支都是真的，联言判断就是真的。 (2)如果联言推理的前提分别断定了各个联言支是真的，它的结论就能够断定由这些联言支所构成的联言判断是真的。 3．联言推理的分解式 (1)从联言判断与它的联言支的真假关系来说，如果一个联言判断是真的，它的联言支就都是真的。 (2)联言推理的前提断定联言判断是真的，它的结论就能够断定这个联言判断的联言支是真的。 [拓展] 联言推理的规则 (1)肯定联言判断，就要肯定任一联言支。 (2)肯定每一个联言支，就要肯定联言判断。 [判断1] (1)若联言推理的前提断定联言判断是真的，它的结论不能必然断定所有联言支都是真的。(　　) 答案　× 解析　联言推理的前提断定联言判断是真的，它的结论就能够断定这个联言判断的联言支是真的。 (2)联言推理分为相容的联言推理和不相容的联言推理。(　　) 答案　× 解析　选言推理分为相容的选言推理和不相容的选言推理。 选言推理及其方法 1．选言推理的含义和分类 (1)含义：是依据选言判断的逻辑性质进行的推理。 (2)分类：分为相容的选言推理和不相容的选言推理。 2．选言推理的正确推理结构 相容的选 言推理 否定肯定式：否定选言判断前提中的一部分选言支，结论肯定剩下的另一部分选言支 不相容的 选言推理 ①肯定否定式：如果肯定了选言判断前提中的一部分选言支，结论就可以否定剩下的另一部分选言支。 ②否定肯定式：如果否定了选言判断前提中的一部分选言支，结论就可以肯定剩下的另一部分选言支 [判断2] (1)如果肯定了相容的选言判断前提中的一部分选言支，结论就能必然地否定剩下的另一部分选言支。(　　) 答案　× 解析　由于相容的选言判断只断定其选言支至少有一个是真的，在进行相容的选言推理时，如果肯定了选言判断前提中的一部分选言支，结论就不能必然地否定剩下的另一部分选言支。 (2)在进行不相容的选言推理时，如果肯定了选言判断前提中的一部分选言支，结论就可以否定剩下的另一部分选言支。(　　) 答案　√ 假言推理及其方法 1．含义和分类 (1)含义：假言推理是依据假言判断的逻辑性质进行的推理。 (2)分类：假言推理分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理。 2．充分条件假言推理的有效形式 (1)充分条件假言判断所断定的前件和后件的关系是：前件真，后件就一定真。反过来看，后件假，前件就一定假。 (2)依据这种逻辑性质进行充分条件假言推理时，如果肯定了假言判断的前件，结论就可以肯定假言判断的后件；如果否定了假言判断的后件，结论就可以否定假言判断的前件。 3．必要条件假言推理的有效形式 (1)必要条件假言判断所断定的前件和后件的关系是：前件假，后件就一定假。反过来看，后件真，前件就一定真。 (2)依据这种逻辑性质进行必要条件假言推理时，如果否定了假言判断的前件，结论就可以否定假言判断的后件；如果肯定了假言判断的后件，结论就可以肯定假言判断的前件。 4．充分必要条件假言推理的有效形式 (1)充分必要条件假言判断所断定的前件和后件的关系是：前件真，后件就一定真；前件假，后件就一定假。反过来看，后件真，前件就一定真；后件假，前件就一定假。 (2)依据这种逻辑性质进行充分必要条件假言推理时，如果肯定了假言判断的前件，结论就可以肯定假言判断的后件；如果肯定了假言判断的后件，结论就可以肯定假言判断的前件；如果否定了假言判断的前件，结论就可以否定假言判断的后件；如果否定了假言判断的后件，结论就可以否定假言判断的前件。 5．运用假言推理的意义 依据正确反映事物情况之间条件联系的假言判断进行假言推理，人们可以推断出新的情况，可以预见事物的发展方向，为进一步认识事物的本质和规律创造必要的前提。 [点拨] 推理需借助概念、判断，但它本身不是判断过程。 [点拨] 充分条件假言推理的两个正确形式 肯定前件式 如果p，那么q，p，所以，q 否定后件式 如果p，那么q，非q，所以，非p [点拨] 必要条件假言推理的两个正确的形式 否定前件式 只有p，才q，非p，所以，非q 肯定后件式 只有p，才q，q，所以，p [点拨] 充分必要条件假言推理的两个正确的形式 肯定前件式 p当且仅当q，p，所以，q 否定后件式 p当且仅当q，非q，所以，非p 否定前