2016形式逻辑（师大版）原理教案：演绎推理 (二).docVIP

形式逻辑（师大版）原理教案 第七章 演绎推理 (二) 第一节 联言推理 一、什么是联言推理 联言推理就是前提或结论为联言判断的推理。 二、联言推理的种类 1、分解式 分解式是前提为联言判断的联言推理。分解式就是由前提中联言判断的真，推出其任一支判断真的联言推理。形式是： P并且q P并且q 所以，P 或 所以，q 如：我们的干部要德才兼备，所以，我们的干部要有才。 2、组合式 组合式是结论为联言判断的联言推理。组合式就是由前提中全部支判断真，推出联言判断真的联言推理。形式是： P， q， 所以，P并且q 如：曹操是政治家，曹操是文学家，所以，曹操既是政治家又是文学家。 第二节 选言推理 一、什么是选言推理 选言推理就是前提中有一个是选言判断的推理。 二、选言推理的种类 1、不相容的选言推理 不相容的选言推理是前提中有一个不相容选言判断的选言推理。规则： （1）否定一部分选言支，就要肯定另一部分选言支； （2）肯定一部分选言支，就要否定另一部分选言支。 两个正确形式： 否定肯定式： 要么P，要么q， 非P， 所以，q。 肯定否定式： 要么P，要么q P， 所以，非q。 如：李白要么是唐朝的，要么是宋朝的。 2、相容的选言推理 相容的选言推理是前提中有一个相容选言判断的选言推理。规则：（1）否定一部分选言支，就要肯定另一部分选言支； （2）肯定一部分选言支，不能否定另一部分选言支。 相容的选言推理只有一种正确的形式，即否定肯定式： P或者q， 非P， 所以，q。 如：某人学习不好，或者基础差，或者智商差，或者不努力。 第三节 假言推理 假言推理就是前提中有一个是假言判断并且根据前、后件之间的关系而推出结论的推理。 1、充分条件假言推理 充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。 充分条件假言判断前后件的关系是：P是q的充分条件，q是P的必要条件。即有P必有q，无q必无P；无P可以有q，也可以无q；有 q可以有P，也可以无P。 规则： 1、肯定前件就要肯定后件，否定后件就要否定前件； 2、否定前件不能否定后件，肯定后件不能肯定前件。 根据规则1，充分条件假言推理有两个正确式： （1）肯定前件式：在前提中肯定充分条件假言判断的前件，结论肯定它的后件。公式： 如果P，那么q， P 所以，q （2）否定后件式：在前提中否定充分条件假言判断的后件，结论否定它的前件，公式： 如果P，那么q， 非q， 所以，非P 。 规则2的前半部分规定：“否定前件不能否定后件”，因此，下面的推理形式是不合逻辑的： 如果P，那么q， 非P， 所以，非q。 规则2的后半部分规定：“肯定后件不能肯定前件”。由此，下面的推理形式是不合逻辑的： 如果P，那么q， q， 所以，P。 如：如果摩擦物体，物体就会发热。 如：男人靠得住，母猪会上树。 2、必要条件假言推理 必要条件假言判断前后件的关系是：P是q的必要条件，q是P充分条件。即无P必无q，有q必有P；有P可以有q，也可以无q；无q可以有P，也可以无P。规则： 1、否定前件就要否定后件，肯定后件就要肯定前件。 2、肯定前件不能肯定后件，否定后件不能否定前件。 根据规则1有两个正确式： （1）否定前件式：前提否定必要条件假言判断的前件，结论否定它的后件。公式： 只有P，才q， 非P， 所以，非q。 （2）肯定后件式：前提肯定必要条件假言判断的后件，结论肯定它的前件，公式： 只有P，才q， q， 所以，P 。 规则2规定：“肯定前件不能肯定后件”。由此，下面的推理形式是不合逻辑的： 只有P ，才q， P ， 所以，q。 规则2规定：“否定后件不能否定前件”，由此，下面的推理形式是不合逻辑的： 只有P ，才q， 非q， 所以，非P 。 如：只有认真学习，才能搞好成绩。 3、充分必要条件假言推理 充分必要条件假言判断前后件的关系是：P是q既充分又必要的条件，q也是P既充分又必要的条件。即有P必有q，无P必无q，有q必有P，无q必无P 。规则： 1、肯定前件就要肯定后件，否定后件就要否定前件； 2、否定前件就要否定后件，肯定后件就要肯定前件。 充分必要条件假言推理有四个正确式： （1）肯定前件式：前提肯定充分必要条件假言判断的前件，结论肯定它的后件。公式： P当且仅当q， P， 所以，q。 （2