第四讲复合命题及推理学习课件.pptVIP

第四讲 复合命题及推理 一、复合命题概述 二、复合命题的类型 三、复合命题的推理 命题的类型 一、复合命题概述 （1）复合命题由一个或一个以上的简单命题所组成。组成复合命题的命题称作它的支命题。 （2）支命题通过“联结词”联结。不同的联结词显示出不同的逻辑性质。 （3）复合命题的真假是由支命题的真假来确定的。 二、复合命题的类型 1.联言命题 1.联言命题 2.选言命题 国旗的红，或是皇城的红。 ①相容选言命题 ②不相容选言命题 3.假言命题 ①充分条件假言命题 有事物情况p和q，如果有p就有q，没有p不一定没有q。p就是q的充分条件。 充分条件假言命题 ②必要条件假言命题 有事物情况p和q，如果没有p就没有q，有p不一定有q。p就是q的必要条件。 必要条件假言命题 ③充分必要条件 有事物情况p和q，如果有p就有q，没有p就没有q。p就是q的充分必要条件。 充分必要条件假言命题 三、复合命题的推理 复合命题的类型： 联言命题：p且q， p∧q（合取式） 选言命题：p或q， p∨q（析取式） 充分条件假言命题：P→q 必要条件假言命题： P←q 1.联言推理 分解式联言推理 定义：前提为联言命题，结论是其支命题的联言推理形式。 结构式： p并且q p∧q ——————— 或 ——— 所以，p（q） ∴p（q） 组合式联言推理 定义：前提为联言命题的支命题，结论是联言命题的推理形式。 结构式： p p q q —————— 或 ———— 所以，p并且q ∴p∧q 2.选言推理 ①相容选言推理 ②不相容选言推理 ①相容选言推理 相容选言推理的有效式 ②不相容选言推理 不相容选言推理的有效式 要么P要么q 非p ———— 所以，q 【注意事项】 ☆选言支必须穷尽 【选言推理在实践中的运用】 3.充分条件假言推理 如果P那么q p ———— 所以，q 4.必要条件假言推理 只有P才有q 非p ———— 所以，非q 5.二难推理 二支选言命题﹢充分条件假言命题×2 →结论 二难推理的公式： 简单式：如果p，那么q 如果非p，那么q p或非p， 所以q 复杂式：如果p，那么q 如果r，那么s p或r， 所以q或s 对错误二难推理的破斥 1.正确的二难推理须遵守的规则：前提真实，形式有效。 2.对错误二难推理驳斥的方法 第一，指出错误二难推理的前提不真实。 第二，指出推理形式有错误 。 第三，构造一个结构相同的二难推理，却推出与对方相反的结论，从而驳倒对方。 小 结 * * 性质命题 关系命题 复合命题 命题 非模态命题 模态命题 简单命题 联言命题 选言命题 假言命题 负命题 可能模态命题 必然模态命题 定义 在一个命题中包含有其他命题的一种命题形式。 特点 复合命题 1.联言命题 2.选言命题 3.假言命题 4.负命题 充分条件假言命题 必要条件假言命题 充要条件假言命题 不相容选言命题 相容选言命题 F T F F F F F F T T T T P∧q q p 当且仅当联言支全真时， 联言命题为真。 （支支真，合取真） 定义 就是断定几种事物情况 同时存在的命题。 结构 联言支，联结项； p且q， p∧q（合取式） 逻辑性质 联言命题真值表 当且仅当全部选言支为假时， 相容选言命题才为假。 （支支假，析取假） 定义 是断定选言支中至少有一个为真，并且可同为真的选言命题。 结构 选言支，联结项； p或q， p∨q（析取） 逻辑性质 真值表 T T F F F T q F F T T T T p∨q p inclusive or 有且只有一个选言支真，其余选言支为假时，不相容选言命题为真。 （唯一支真，不相容析取真） 定义 是断定选言支中有一个并只有一个为真的选言命题。 结构