专题五 复合命题及其推理.pptVIP

定义：断定某一事物情况是另一事物情况的充分条件的假言命题。 逻辑性质：p是q的充分条件，如果p存在，则q一定存在；如果p不存在，q不一定不存在。即p真q必真，p假q未必假。 语言表达式： 如果… …那么… … 假如… …那么… … 只要… …就… … 倘若… …则… … 第三十页，共76页 符号表达式：p → q（“→ ”读作蕴涵） p → q读作“如果…p，那么q” 。 典例：如果天下雨，那么地湿。 前件真，后件一定真； 后件真，前件真假不定。 第三十一页，共76页 1.2充分条件假言命题的真值表 p q p → q(﹁p ∨q) T T T T F F(p ∧﹁q) F T T F F T 第三十二页，共76页 p → q=(﹁p ∨q) 练习： 逻辑学家说：如果2+2=5，则地球是方的。 以下哪项和逻辑学家所说的同真？ A.如果地球是方的，则2+2=5。 B.如果地球是圆的，则2+2≠5。 C. 2+2≠5或者地球是方的。 D. 2+2=5或者地球是方的。 E. 2+2=5并且地球是方的。 第三十三页，共76页 定义：前提中有一个充分条件假言命题 ，并根据充分条件假言命题的逻辑性质进行的推理。 p真q必真，p假q未必假。 推理规则： 肯定前件就要肯定后件，否定后件就要否定前件。 否定前件不能否定后件，肯定后件不能肯定前件。 第三十四页，共76页 形式结构： （1）肯定前件式： （p → q）∧ p →q （2）否定后件式： （p → q）∧﹁ q →﹁ p 第三十五页，共76页 定义：断定某一事物情况是另一事物情况的必要条件的假言命题。 逻辑性质：p是q的必要条件，如果p不存在，q一定不存在；如果p存在，则q不一定存在。即p真q未必真，p假q必假。 语言表达式： “只有……才……”， “不……不……”， “没有……就没有……”， “除非……不……”， “必须……才……” 第三十六页，共76页 符号表达式：p ← q（“←”读作反蕴涵，反蕴涵式），p ← q读作“只有p，才q” 。 典例：只有年满18周岁，才具有选举权。 前件真，后件不一定真； 后件真，前件一定真。 第三十七页，共76页 2.1必要条件假言命题的真值表 p q p ← q(p ∨﹁q) T T T T F T F T F(﹁p ∧ q) F F T 第三十八页，共76页 定义：前提中有一个必要条件假言命题 ，并根据必要条件假言命题的逻辑性质进行的推理。p假q必假，p真q未必真。 推理规则： 否定前件就要否定后件，肯定后件就要肯定前件。 肯定前件不能肯定后件，否定后件不能否定前件。 第三十九页，共76页 形式结构： （1）否定前件式： （p ← q） ∧﹁ p →﹁ q （2）肯定后件式： （p ← q）∧ q →p 第四十页，共76页 植物必须先开花，才能产生种子，有两种龙蒿——俄罗斯龙蒿和法国龙蒿，它们看起来非常相似，俄罗斯龙蒿开花而法国龙蒿不开花，但是俄罗斯龙蒿的叶子却没有那种使法国龙蒿成为理想的调味品的独特香味。 从以上论述中一定能推出以下哪种结论？ A.作为观赏植物，法国龙蒿比俄罗斯龙蒿更令人喜爱。 B.俄罗斯龙蒿的花可能没有香味。 C.由龙蒿种子长出的植物不是法国龙蒿。 D.除了俄罗斯龙蒿和法国龙蒿外，没有其他种类的龙蒿。 E.法国龙蒿和俄罗斯龙蒿一样可以作为调味品。 第四十一页，共76页 题干是一个必要条件假言命题，联结词是“必须……才……” 推理规则：否定前件就要否定后件，肯定后件就要肯定前件。 开花←种子；俄龙蒿开花并且法龙蒿不开花。 法龙蒿不开花→法龙蒿无种子。 第四十二页，共76页 练习3：柏拉图学院的门口竖着一块牌子：“不懂得几何者不得入内”。这天，来了一群人，他们都是懂得几何的人。 如果牌子上的话得到准确的理解和严格的执行，那么一下诸断定中，只有一项是真的。这一真的断定是： A.他们可能不会被允许进入。 B.他们一定不会被允许进入。 C.他们一定会被允许进入。 D.他们不可能被允许进入。 E.他们不可能不被允许进入。 第四十三页，共76页 题干是一个必要条件假言命题，联结词是“不…不…” 推理规则：肯定前件不能肯定后件。 懂几何←入内。懂几何→入内？ 第四十四页，共76页 练习4：除非不把理论当做教条，否则就会束缚思想。 以下各项都表达了与题干相同的含义，除了 A.如果不把理论当做教条，就不会束缚思想。 B.如果把理论当做教条，就会束缚思想。 C.只有束缚思想，才会把理论当做教条。 D.只有不把理论当做教条，才不会束缚思想。 E.除非束缚思想,否