普通逻辑2013-2014-1-张蓉.ppt

第七章 演绎推理（二） 假言推理 四、充分必要条件假言推理 充分必要条件假言推理是大前提为充分必要条件假言判断，前提和结论都为性质判断的推理。 规则：肯定前件就要肯定后件，否定前件就要否定后件； 肯定后件就要肯定前件，否定后件就要否定前件。 1、肯定前件式：小前提肯定作为大前提充分必要条件假言判断的前件，从而推出肯定其后件的结论的推理。 推理结构： 当且仅当p，才q， p←→q， p， 即 p， 所以，q。 ∴q。 或写作（p←→q）∧p→q。 2、否定前件式：小前提否定作为大前提的充分必要条件的前件，得出否定其后件的结论的推理。 推理结构： 当且仅当p，才q， p←→q， 非p， 即 p， 所以，非q。 ∴q。 或写作（p←→q）∧p→q。 3、肯定后件式：小前提否定作为大前提充分必要条件假言判断的后减，从而得出否定其前提的结论的推理。 推理结构： 当且仅当p，才q， p←→q， q， 即 q， 所以，p。 ∴p。 或写作（p←→q）∧q→p。 第七章 演绎推理（二） 假言推理 四、充分必要条件假言推理 3、否定后件式：小前提否定作为大前提的充分必要条件假言判断的后件，从而得出否定其前件的结论的推理。 推理结构： 当且仅当p，才q， p←→q， 非q， 即 q， 所以，非p。 ∴p。 或写作（p←→q）∧q→p。 第七章 演绎推理（二） 二难推理 一、什么是二难推理 二难推理属于假言选言推理，前提中有两个假言判断和一个两个选言支的选言判断构成的推理。 例：如果你聪明，那么你要学逻辑，因为学了逻辑使你更聪明， 如果你不聪明，那么你更要学逻辑，因为学了逻辑会使你聪明， 你或是聪明，或是不聪明， 所以你都要学逻辑。 第七章 演绎推理（二） 二难推理 二、二难推理的形式 1、简单构成式：两个假言前提的前件不同，后件相同，选言前提的两个选言支分别是两个假言前提的不同的前件，结论是假言前提中的相同的后件。 推理结构式： 如果p，那么q， p→q， 如果r，那么q， r→q， p或者r 即 p∨r， 所以，q。 ∴q 可写作为： （p→q）∧（r→q）∧（p∨r）→q。 2、简单破坏式：两个假言前提的前件相同，后件不同，选言前提的两个选言支分别是对假言前提不同后件的否定，其结论是对假言前提相同的前件的否定。 推理结构式： 如果p，那么q， p→q， 如果p ，那么r， p→r， 非q或者非r 即 q∨r， 所以，非p。 ∴p 可写作为： （p→q）∧（p→r）∧（q∨r）→p。 第七章 演绎推理（二） 二难推理 二、二难推理的形式 3、复杂构成式：两个假言前提的前后件都不同，选言前提两个选言支分别是假言前提中不同的前件，结论是一个选言判断，两个选言支分别是假言前提中两个不同的后件。 推理结构式： 如果p，那么q， p→q， 如果r，那么s， r→s， p或者r 即 p∨r， 所以，q或者s。 ∴q∨s 可写作为： （p→q）∧（r→s）∧（p∨r）→q∨s。 4、复杂破坏式：两个假言前提的前后件都不相同，选言前提两个选言支分别是对假言前提的两个不同的后件的否定，结论是一个选言判断，两个选言支分别是对假言前提不同前件的否定。 推理结构式： 如果p，那么q， p→q， 如果r，那么s， r→s， 非q或者非s