复合命题推理.ppt

1、复合命题推理,联言推理 选言推理 假言推理负命题推理,联言推理,一、定义 联言推理就是前提或结论为联言命题，并且根据联言命题的逻辑性质来进行推演的推理。 二、推理形式 1.分解式 （1）定义：分解式就是由前提中的联言命题为真，推出其任一支命题为真的推理。,（2）逻辑形式： 其符合化公式： （pq）p （pq）q,2.组合式 （1）定义：组合式就是由前提中的全部命题为真，推出以这些命题为支命题的联言命题为真的推理。 （2）逻辑形式： 其符合化公式： （p；q）（pq）,选言推理,一、定义 选言推理就是前提中有一个是选言命题，并且根据选言命题的逻辑性质进行推演的推理。 二、类型 （一）相容选言推理

2、 1.定义：相容选言推理就是前提中有一个相容选言命题的选言推理。,2.推理规则： 第一，否定了一部分选言支，就要肯定另一部分选言支。 第二，肯定了一部分选言支，不能肯定或否定另一部分选言支。 3.推理形式： 其符合化公式： （pq） pq （pq） qp,否定肯定式,（二）不相容选言推理 1.定义：不相容选言推理就是前提中有一个不相容选言命题的选言推理。 2.推理规则： 第一，否定一部分选言支，就要肯定另一部分选言支。 第二，肯定一部分选言支，就要否定另一部分选言支。,3.推理形式： （1）否定肯定式 其符合化公式：,（2）肯定否定式 其符合化公式：,假言推理,一、定义 假言推理就是前提中有一

3、个假言命题，并且根据假言命题的逻辑性质进行推演的推理。 二、类型 （一）假言换位推理 1.定义：假言换位推理是指以某种类型的假言命题作前提，通过其前后件的换位进而得出另一种类型的假言命题的推理。,2.推理规则： 第一，前后件交换位置。 第二，充分条件假言命题联结项和必要条件假言命题联结项相互变换。 3.类型： （1）充分条件换位推理 其符号化公式： （pq）（qp）,（2）必要条件换位推理 其符号化公式： （pq） （qp） （二）假言直言推理 1.定义：假言直言推理是一个前提为假言命题，另一个前提和结论为直言命题，并且根据条件命题的逻辑性质而推演的假言推理。,2.类型： （1）充分条件直言推

4、理 推理规则： 第一，肯定前件就要肯定后件，否定后件就要否定前件。 第二，否定前件不能否定后件，肯定后件不能肯定前件。, 推理形式： A.肯定前件式 其符号化公式： （pq）p）q,B.否定后件式 其符号化公式： （pq）q）p,（2）必要条件直言推理 推理规则： 第一，否定前件就要否定后件，肯定后件就要肯定前件。 第二，肯定前件不能肯定后件，否定后件不能否定前件。 推理形式： A.否定前件式,其符号化公式： （pq）p）q B.肯定后件式 其符号化公式： （pq）q）p,（3）充要条件直言推理 推理规则： 第一，肯定前件就要肯定后件，肯定后件就要肯定前件。 第二，否定前件就要否定后件，否定后

5、件就要否定前件。 推理形式： A肯定前件式,其符号化公式： （pq）p）q B.肯定后件式 其符号化公式： （pq）q）p,C.否定前件式： 其符号化公式： （pq）p）q D.否定后件式： 其符号化公式： （pq）q）p,（三）假言连锁推理 1.定义：假言连锁推理就是以两个以上具有内在联系的假言命题作前提，推出另一个假言命题作结论的推理。 2.特点：前提中的前一个假言命题的后件跟后一个假言命题的前件相同。,3.类型： （1）充分条件连锁推理 A.肯定式 其符号化公式： （pq）（qr）（pr）,B否定式 其符号化公式： （pq）（qr）（rp）,（2）必要条件连锁推理 A否定式 其符号化公式

6、： （pq）（qr）（pr）,B肯定式 其符号化公式是： （pq）（qr）（rp）,负命题推理,一、定义 负命题推理又称负命题等值推理，它是前提为负命题，结论为该负命题的等值命题的一种复合命题推理。 二、类型 （一）性质命题的负命题推理 1.SAPSOP 2.SEPSIP 3.SIPSEP 4.SOPSAP,（二）联言命题的负命题推理 1.定义：联言命题的负命题推理就是以联言命题的负命题为前提而进行推演的负命题推理。 2.推理形式： 其符号化公式： （pq） pq（德摩根定律）,（三）选言命题的负命题推理 1.相容选言命题的负命题推理 （1）定义：相容选言命题的负命题推理就是以相容选言命题的负

7、命题为前提而进行推演的负命题推理。 （2）推理形式： 其符号化公式： （pq） pq（德摩根定律）,2.不相容选言命题的负命题推理 （1）定义：不相容选言命题的负命题推理就是以不相容选言命题的负命题为前提而进行推演的负命题推理。 （2）推理形式： 其符号化公式：,四、假言命题的负命题推理 1充分条件假言命题的负命题推理 推理形式： 其符号化公式： （pq）pq,2必要条件假言命题的负命题推理 推理形式： 其符号化公式： （pq）pq,3充要条件假言命题的负命题推理 推理形式： 其符号化公式： （pq）（pq）（pq） 五、负命题的负命题推理 推理形式： 其符号化公式：pp,二难推理,一、什么是

8、二难推理 例句：,定义：二难推理是假言选言推理的一种，假言选言推理就是由假言命题和选言命题作前提进而构成的推理。 二、二难推理的种类 （一）简单构成式 1.特点：在前提中，选言命题的两个支命题分别肯定两个假言命题的不同前件。在结论中，被推出命题肯定前提中两个假言命题的相同后件。,2.推理形式： 其符号化公式： （pr）（qr）（pq）r,（二）简单破坏式 1.特点：在前提中，选言命题的两个支命题分别否定两个假言命题的不同后件，在结论中，被推出命题否定前提中两个假言命题的相同前件。 2.推理形式： 其符号化公式： （pq）（pr）（qr）p,（三）复杂构成式 1.特点：在前提中，选言命题的两个支命题分别肯定两个假言命题的不同前件，在结论中，被推出命题是一个选言命题，其支命题分别肯定前提中两个假言命题的不同后件。 2.推理形式： 其符号化公式： （pr）（qs）（pq）（rs）,（四）复杂破坏式 1.特点：在前提中，选言命题的两个支命题分别否定两个假言命题的不同后件，在结论中，被推出命题是一个选言命题，其支命题分别否定前提中两个假言命题的不同前件。 2.推理形式： 其符号化公式： （pr）（qs）（rs）（pq）,三、驳斥错误二难推理的方法 1指出错误二难推理的形式无效。,2指出错误二难推理的前