复合命题推理.ppt

《复合命题推理.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

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

2、理。二、类型（一）相容选言推理1.定义：相容选言推理就是前提中有一个相容选言命题的选言推理。2.推理规则：第一，否定了一部分选言支，就要肯定另一部分选言支。第二，肯定了一部分选言支，不能肯定或否定另一部分选言支。3.推理形式：其符合化公式：（p∨q）∧￢p→q（p∨q）∧￢q→p否定肯定式p或者q并非q所以，pp或者q并非p所以，q（二）不相容选言推理1.定义：不相容选言推理就是前提中有一个不相容选言命题的选言推理。2.推理规则：第一，否定一部分选言支，就要肯定另一部分选言支。第二，肯定一部分选言支，就要否定另一部分选言支。3.推理形式：（1）否定肯定式其符合化公式：要么p，要么q并非

3、p所以，q要么p，要么q并非q所以，p（（p∨q）∧￢p）→q·（（p∨q）∧￢q）→p·（2）肯定否定式其符合化公式：要么p，要么qp所以，并非q要么p，要么qq所以，并非p（（p∨q）∧p）→￢q·（（p∨q）∧q）→￢p·假言推理一、定义假言推理就是前提中有一个假言命题，并且根据假言命题的逻辑性质进行推演的推理。二、类型（一）假言换位推理1.定义：假言换位推理是指以某种类型的假言命题作前提，通过其前后件的换位进而得出另一种类型的假言命题的推理。2.推理规则：第一，前后件交换位置。第二，充分条件假言命题联结项和必要条件假言命题联结项相互变换。3.类型：（1）充分条件换位推理其符号化

4、公式：（p→q）→（q←p）如果p，那么q所以，只有q，才p（2）必要条件换位推理其符号化公式：（p←q）→（q→p）（二）假言直言推理1.定义：假言直言推理是一个前提为假言命题，另一个前提和结论为直言命题，并且根据条件命题的逻辑性质而推演的假言推理。只有p，才q所以，如果q，那么p2.类型：（1）充分条件直言推理Ⅰ推理规则：第一，肯定前件就要肯定后件，否定后件就要否定前件。第二，否定前件不能否定后件，肯定后件不能肯定前件。Ⅱ推理形式：A.肯定前件式其符号化公式：（（p→q）∧p）→q如果p，那么qp所以，qB.否定后件式其符号化公式：（（p→q）∧￢q）→￢p如果p，那么q非q所以，

5、非p（2）必要条件直言推理Ⅰ推理规则：第一，否定前件就要否定后件，肯定后件就要肯定前件。第二，肯定前件不能肯定后件，否定后件不能否定前件。Ⅱ推理形式：A.否定前件式只有p，才q非p所以，非q其符号化公式：（（p←q）∧￢p）→￢qB.肯定后件式其符号化公式：（（p←q）∧q）→p只有p，才qq所以，p（3）充要条件直言推理Ⅰ推理规则：第一，肯定前件就要肯定后件，肯定后件就要肯定前件。第二，否定前件就要否定后件，否定后件就要否定前件。Ⅱ推理形式：A．肯定前件式当且仅当p，才qp所以，q其符号化公式：（（p↔q）∧p）→qB.肯定后件式其符号化公式：（（p↔q）∧q）→p当且仅当p，才qq

6、所以，pC.否定前件式：其符号化公式：（（p↔q）∧￢p）→￢qD.否定后件式：其符号化公式：（（p↔q）∧￢q）→￢p当且仅当p，才q非p所以，非q当且仅当p，才q非q所以，非p（三）假言连锁推理1.定义：假言连锁推理就是以两个以上具有内在联系的假言命题作前提，推出另一个假言命题作结论的推理。2.特点：前提中的前一个假言命题的后件跟后一个假言命题的前件相同。3.类型：（1）充分条件连锁推理A.肯定式其符号化公式：（（p→q）∧（q→r））→（p→r）如果p，那么q如果q，那么r所以，如果p，那么rB．否定式其符号化公式：（（p→q）∧（q→r））→（￢r→￢p）如果p，那么q如果q，

7、那么r所以，如果并非r，那么并非p（2）必要条件连锁推理A．否定式其符号化公式：（（p←q）∧（q←r））→（￢p→￢r）只有p，才q只有q，才r所以，如果并非p，那么并非rB．肯定式其符号化公式是：（（p←q）∧（q←r））→（r→p）只有p，才q只有q，才r所以，如果r，那么p负命题推理一、定义负命题推理又称负命题等值推理，它是前提为负命题，结论为该负命题的等值命题的一种复合命题推理。二、类型（一）性质命题的负命题推理1.￢SAP→SOP2