形式逻辑全套优质课件98.ppt

例如： 一个作家只有在语言运用上有过苦闷，对语言进行过长期的斗争（即锻炼），他才是一个好作家；一个作家在语言运用上从来没有过苦闷，从来不曾对语言进行斗争；所以，他不会是一个好作家。 这个推理是合乎逻辑的，结论是必然的。 * * 但是，必要条件假言推理只能由否定前件到否定后件，而不能由否定后件到否定前件。 例如： 只有及时浇水，花才长得好； 花没长好， 所以，没有及时浇水。 （P ← q）∧ q→ P * * 2．肯定后件式：即在前提中肯定了假言判断的后件，结论肯定了它的前件。其逻辑形式为： 只有P，才q q 所以，P （P ← q）∧ q→ P * * 例如： 只有经常地检讨工作，才能少犯错误；要少犯错误; 所以，必须经常地检讨工作。 但是，必要条件假言推理只能由肯定后件到肯定前件，而不能由肯定前件到肯定后件。 * * 例如： 只有某学生学习好，才能当三好学生； 某学生学习好; 所以，他能当三好学生。 这个推理由肯定必要条件假言判断的前件到肯定它的后件，是无效的。 （P ← q）∧ P→ q * * 四、充分必要条件假言推理 充分必要条件假言推理是以充分必要条件假言判断为前提，并且根据充分必要条件假言判断的逻辑特性推出结论的推理。 因为充分必要条件假言判断前件与后件有真则同真、假则同假的等值关系，所以，充分必要条件假言推理的规则也有两条： * * ①肯定前件就能肯定后件，肯定后件就能肯定前件 ②否定前件就能否定后件，否定后件就能否定前件 根据规则，它有四个有效式： 1．肯定前件式 当且仅当P，才q P 所以，q （P q）∧ P→ q * * 2.肯定后件式: 当且仅当P，才q q 所以，P （P q）∧ q→ P * * 3．否定前件式 当且仅当P，才q 非P 所以，非q （P q）∧ P→ q * * 4．否定后件式: 当且仅当n，才q 非q 所以，非P （P q）∧ q→ P * * 五、纯假言推理 纯假言推理也叫假言连锁推理，它是由两个或两个以上假言判断作前提推出一个假言判断结论的推理。 纯假言推理的第一个前提的后件与第二个前提的前件相同，前提之间象链条一样，一环扣一环地联结起来，然后推出结论。 * * 常见的纯假言推理有充分条件纯假言推理和必要条件纯假言难理。 1．充分条件纯假言推理 充分条件纯假言推理是以充分条件假言判断作前提和结论的推理。它有肯定式和否定式两种。 * * 1．充分条件纯假言推理 充分条件纯假言推理是以充分条件假言判断作前提和结论的推理。它有肯定式和否定式两种。 a.肯定式：即结论的前件肯定第一个前提的前件，结论的后件肯定最后一个前提的后件。 * * 其逻辑形式是： 如果P ，那么q 如果q，那么r 所以，如果P，那么r （P →q）∧ (q→r) →(P →r) * * 例如： 如果要搞现代化，就必须掌握科学； 如果要掌握科学 , 就必须发展教育； 所以，如果要搞现代化，就必须发展教育。 b.否定式：即结论的前件否定了最后一个前提的后件，结论的后件否定了第一个前提的前件。 * * 其逻辑形式是： 如果P，那么q 如果q，那么r 所以，如果非r，那么非P （P →q）∧ (q→r) →(r → P) * * 例如： 如果要解放和发展生产力，就要坚持改革开放； 如果要坚持改革开放，就要解放思想； 所以，如果不解放思想，就不能解放和发展生产力。 2.必要条件纯假言难理 必要条件纯假言推理是以必要条件假言判断作前提的推理，它也有肯定式和否定式两种。 * * a.肯定式：即结论的前件肯定了最后一个前提的后件，结论的后件肯定了第一个前提的前件。 其逻辑形式是： 只有P ，才q 只有q ，才r 所以，如果r，那么P （P ← q）∧ (q ← r) →(r → P) * * 例如： 只有观察，才能接近实际； 只有接近实际，才能从实际出发； 只有从实际出发，才能把想和做联结起来； 所以，要把想和做联结起来，就要观察。 b.否定式：即结论的前件否定了第一个前提的前件，结论的后件否定了最后一个前