第六部分复合命题(二)学习课件.pptVIP

第六章 复合命题及推理 （二） 第一节 负命题及其等值推理 一、什么是负命题: 　　　　负命题是否定一个命题的命题，它是一个特殊的复合命题。 　　如：并非所有的人都喜欢喝茶 　 　　并非物美价廉 　组成： 　否定联项+原命题（肢命题） 　否定联项：“并非”、“不是”、“并不”“是假的”、“不可能” 公式：并非P 　逻辑形式：━P 二、负命题的等值推理 　　以一个负命题为前提推出另一个与前提命题形式不同而真值相同的命题。 根据负命题所否定的原命题的不同，把负命题分为负简单命题和负复合命题两大类。 （一）负简单命题的等值推理 —（SAP）←→SOP —（SEP）←→SIP —（SIP）←→SEP —（SOP）←→SAP 单称肯定和单称否定命题之间互为矛盾 并非某个S是P←→ 某个S不是P 并非某个S不是P ←→ 某个S是P 第二节 多重复合命题 　　就是指由复合命题做肢命题而构成的复合命题。 　多重复合命题的种类： 1、联言型： （P→r）∧（pⅴr） 2、选言型： （P∧q）ⅴ（r∧q） 3、假言型： （Pⅴq）→ r 4、负命题型: — [（Pⅴq）→ r] 第三节 复合命题的转换及应用 一、充分条件假言命题和必要条件假言命题的转换 　　如果P、那么q，等值于只有q、才P。 　　公式：（P→q）←→（q←P） 　在此基础上可以得： 1、（P→q）←→（— q→ — p）←→（— p← —q） 2、（P←q）←→（q→P）←→（— p→ —q）←→（— q← — p） 三 联言命题与假言命题的转换 （PΛq）←→—（P→ — q） 他既是教师，又是律师。 并非如果他是教师，那么他不是律师 第四节 真值表的方法及作用 　一、什么是真值表方法 1、真值表：就是用来定义命题联结词和确定一个复合命题逻辑性质的图表。 2、真值表的方法：就是用来定义逻辑联结词和确定逻辑公式真值情况的判断方法。 （二）真值表的判断作用： 1、判断若干复合命题之间的关系： 等值关系：两个复合命题真假完全一致，同真同假。 矛盾关系：两个复合命题真假完全相反。 反对关系：两个复合命题真假是不同真，可同假。 下反对关系：两个复合命题真假可同真，不同假。 差等关系：两个复合命题真假全称真，特称真,特称假，全称假 2、判断复合命题推理是否有效:（重言式或永真式） 什么叫重言式：（永真式）指这样一类复合命题形式，不管其肢命题的真假情况如何，整个复合命题永远是真的。 复合命题的公式可分三种： （1）重言式：一个复合命题，不管变项取什么值，真值赋值，他总为真。如：P∨—p （2）矛盾式：（永假式）一个复合命题，不管变项取什么值，真值赋值，他总为假。 如：PΛ—p （3）协调式：有真有假，既不是重言式，也不是矛盾式。如： PΛq （2）重言等值式： 证明：—（P←→q）←→（PΛ—q）∨（—PΛq）是重言等值式. 用简写的真值表判定： 第一；找出命题公式中的命题变项，对命题变项进行赋值。 第二：逐层计算出每个组成部分的真假值。最后计算出主联接词。 —（ P ←→ q ）←→（ P Λ — q ）∨（ — P Λ q ） - + + + + + - - - - - + + + - - + + + + + - - - + - - + + - - - + + + + - - + - + - - + - + - - 用简便真值表判定下述推理是否正确：归谬赋值法（范式方法） 或者逻辑难学，或者没有多少学生喜欢它。如果数学容易学，那么逻辑不难学。因此，如果许多学生喜欢逻辑，那么数学并不太容易。 解：设P表示“逻辑难学”，q表示“许多学生喜欢逻辑”， r表示“数学容易学”，则该推理的真值形式为： [（P ∨–q）∧（r →– p）]→（q →– r） [（P ∨– q）∧（r → – p）]→（q →– r） + + - + - + - - + + - - + + - + + - + - + + + + + + + - - + - - + - + - + + + -