第三章 复合命题及其推理.pptVIP

7、假言命题及其推理 （1）定义：陈述某一事物情况是另一事物情况的条件的命题，又称为 条件命题。构成假言命题的支命题叫做假言支。其中，构成条件的假言 支叫做假言命题的前件，受条件制约的假言支叫做后件。 例如：“如果李某还拿不出新的证据，那么李某就要败诉了。” 前件 后件 假言命题一般分为三类： ① 充分条件假言命题； ② 必要条件假言命题； ③ 充分必要条件假言命题。 * ① 充分条件假言命题 定义：前件是后件的充分条件的假言命题。充分条件是指：如果p 存在，那么q一定存在，则称p是q的充分条件，即“有p必有q”。 例如：“如果某人发烧了，那么他有病。” 在日常语言中，表达充分条件假言命题的联结词还有“只要… 就…”、“假如…就…”、“要是…就… ”、“倘若…就 …”、“一 旦… 就…”等等。 充分条件假言命题的命题形式为： 如果p，那么q “如果，那么”通常用符号“?”表示，因此，“如果p，那么q” 又可表示为： p ? q 读作“p蕴涵q”，称为蕴涵式。 * 充分条件假言命题的真值表： 即：当前件真后件假时，它是假的；前件真后件真时，它是真的； 当前件假时，无论后件是真是假，它都是真的。 The difficulty arises with the truth value T assigned to p ? q in the cases where p is false. Consideration of examples of conditional statements in which the antecedent is false might perhaps lead one to the conclusion that such statements do not have a truth value at all. One might also gain the impression that such statements are not useful or meaningful. For example, the statement: “If grass is red then the moon is made of green cheese” could fairly be said to be meaningless. * 蕴涵怪论 可见这种对蕴涵的定义并不是完美无缺的。因为它规定 了从一个假命题蕴涵任何命题。例如，“如果地球是方 的，那么，地球会飞”和“如果地球是方的，那么，地 球不会飞”，根据真值表，这两个命题都是真的。从真 值表还可以发现，当后件真时，无论前件如何，整个命 题也都是真的。这就是说，一个真命题为任何命题所蕴 涵。例如，“如果太阳从东边出来，那么，地球是圆的 ”和“如果太阳不从东边出来，那么，地球是圆的”， 根据真值表，这两个命题都是真的。这就是逻辑史上两 个有名的蕴涵怪论。 * 讨论： 为什么要这么定义蕴涵的真值，有没有合理性？ 证明1为最大的正整数。 证明：设n为最大正整数。 ∵n为整数，∴n2亦为整数。 又∵n为最大正整数， ∴n2 ≤n ∴ n － n2 ≥0 ∴n(1 －n) ≥0 ∵n为整数， ∴n ﹥0 ∴1 －n ≥0 ∴ n ≤1 ∴n=1 问题在哪？ * 充分条件假言命题的有效推理形式： 充分条件假言命题有两种有效推理形式： ①肯定前件式： p ? q p ∴ q 如果p ，那么 q p 所以， q 例如： 如果这份经济合同是有效的，那么它是经双方同意的；经认定，这份经济合同是有效的；所以，它是经双方同意的。 * ②否定后件式： p ? q ?q ∴ ?p 如果p ，那么 q 非q 所以，非p 例如：如果天下雨，那么体育课取消；体育课没有取消；则天没有下雨。 * 注意：否定前件不能否定后件，肯定后件不能肯定前件。从否定前 件或肯定后件出发推不出结论。 例1：如果某甲是贩毒犯，那么某甲应受法律制裁；经查明，甲不 是贩毒犯；所以，某甲不应受法律制裁。（无效推理） 例2：如果小张能评上优秀学生，那么小张的学习成绩好；已知小 张的学习成绩好；所以，小张能评上优秀学生。 （无效推理） 练习：娜娜最近买了一条新款淑女裙。朋友们急着想一睹风采，可娜娜却还在卖关子，只给她们一个提示：“我这条裙子的颜色是红、黑、黄三种颜色其中的一种。” “娜娜一定不会买红色的。”小晓说。 “不是黄的就是黑的。”童童说。 “那一定是黑色的。”光子说。 最后，娜娜说：“你们之中至少有一个人是对的，至少有一个人是错的。” 请问，娜娜的裙子到底是什么颜色的? * ②必要条件假言命题 定义：