演绎推理(二).ppt2.ppt

智慧之学——逻辑学 （2）肯定后件式：即在前提中肯定了假言判断的后件，结论肯定它的前件。其逻辑形式是： 当且仅当P，才q q 所以，P 用现代逻辑的符号表示为： （P←→q）∧q→P 智慧之学——逻辑学 （3）否定前件式：即在前提中否定了假言判断的前件，结论否定它的后件。其逻辑形式是： 当且仅当P，才q 非P 所以，非q 用现代逻辑的符号表示为： （P←→q）∧P→q 智慧之学——逻辑学 （4）否定后件式：即在前提中肯定了假言判断的前件，结论肯定它的后件。其逻辑形式是： 当且仅当P，才q 非q 所以，非P 用现代逻辑的符号表示为： （P←→q）∧q→P 智慧之学——逻辑学 五、纯假言推理 纯假言推理也叫假言连锁推理，它是由两个或两个以上假言判断作前提推出一个假言判断结论的演绎推理。 纯假言推理的第一个前提的后件与第二个前提的前件相同，前提之间像链条一样，一环扣一环地联结起来，然后推出结论。常见的纯假言推理有充分条件纯假言推理和必要条件纯假言推理。 智慧之学——逻辑学 （一）充分条件纯假言推理 充分条件纯假言推理是以充分条件假言判断作前提和结论的推理。它有有肯定式和否定式两种。 1、肯定式：即结论的前件肯定第一个前提的前件，结论的后件肯定第一个前提的后件。其逻辑形式是： 如果P，那么q 如果q，那么r 所以，如果P，那么r 智慧之学——逻辑学 用现代逻辑的符号表示为： （P→q）∧（q→r）→（P→r） 2、否定式：即结论的前件否定了最后一个前提的后件，结论的后件否定了第一个前提的前件。其逻辑形式是： 如果P，那么q 如果q，那么r 所以，如果非r，那么非P 用现代逻辑的符号表示为： （P→q）∧（q→r）→（r→P） 智慧之学——逻辑学 （二）必要条件纯假言推理 必要条件纯假言推理是以必要条件假言判断作前提和结论的推理。它有有肯定式和否定式两种。 1、肯定式：即结论的前件肯定了最后一个前提的后件，结论的后件肯定了第一个前提的前件。其逻辑形式是： 只有P，才q 只有q，才r 所以，如果r，那么P 智慧之学——逻辑学 用现代逻辑的符号表示为： （P←q）∧（q←r）→（r→P） 2、否定式：即结论的前件否定了第一个前提的后件，结论的后件否定了最后一个前提的后件。其逻辑形式是： 只有P，才q 只有q，才r 所以，如果非P，那么非r 用现代逻辑的符号表示为： （P←q）∧（q←r）→（P→r） 智慧之学——逻辑学 第四节 假言选言推理（二难推理） 一、什么是假言选言推理（二难推理） 假言选言推理（二难推理）是以假言判断和选言判断作前提的演绎推理。它是由两个以上充分条件假言判断和一个选言支数目与假言判断相等的选言判断作前提，推出一个简单判断或选言判断结论的演绎推理。这种推理通常只有两个假言判断和一个二支选言判断作前提，从而推出一个使人左右为难的结论，所以，传统逻辑又称它为二难推理。 智慧之学——逻辑学 二、假言选言推理（二难推理）的形式 假言选言推理（二难推理）有四个有效式：简单构成式、简单破坏式、复杂构成式、复杂破坏式。 （一）简单构成式 假言选言推理（二难推理）简单构成式的特点是：两个假言前提的前件不同，而后件相同；选言前提的两个选言支分别肯定了两个假言前提不同的前件，结论肯定了假言前提相同的后件，结论是个简单判断。因为它是肯定前件到后件，所以叫“构成式”；又因为它的结论是简单判断，所以叫“简单构成式”。 智慧之学——逻辑学 其逻辑形式是： 如果P，那么r 如果q，那么r P或者q 所以，r 智慧之学——逻辑学 （二）简单破坏式 假言选言推理（二难推理）简单破坏式的特点是：两个假言前提的前件