逻辑第五章推理、简化真值表和形式证明分析.pptVIP

推理的构成 前提、结论和推出关系 ①显性部分：前提和结论 前提与结论之间有个显著的标志——”所以” “所以”前面是前提，后面是结论。 “所以”与“因此、因而、可见、因此可见、总之、总而言之”等相同。 前提与结论倒置，则用“因为”连接。 ②隐性部分：推出关系 必然性推出关系 或然性推出关系 推理的种类第一、按思维进程方向 第二、按前提的数量 第三、推出关系 有效式是前提蕴涵结论的蕴涵式 有效式与蕴涵式的共同点表现为： 有效式 前提真 推出 结论必真 蕴涵式 前件真 蕴涵 后件必真 共同点 前真 后必真 如果要得出一个必然为真的结论，推理必须具备两个条件： 第一，前提内容真实 第二，推理形式有效 复合命题推理有效性的判定 例：写出下列推理的形式，并分析是否有效，简答理由。 如果物体受到摩擦，那么物体生热。物体受到摩擦。所以，物体生热。 例：写出下列推理的形式，并分析是否有效，简答理由。 如果我努力用功了，那么只要考试不超出大纲范围，我就能过关。因此等于说，如果我努力用功了并且考试不超出大纲范围，那么我就能过关。 (p? q) ? ? p ? ? q  判定下列推理形式是否有效： p ? q ， r ? s ， ? r ? t ┣ ? t ? ? p 简化真值表方法（归谬赋值法） 简化真值表方法首先假设一个推理形式无效，然后对表示这一推理形式的蕴涵式赋值。 1.若赋值过程中无矛盾，则该推理形式无效。 2.若赋值过程中有矛盾（即q ??q )，则该推理形式有效。 1.转换：把推理形式转换成蕴涵式。 p? q， ?p ├ ?q (p?q) ? ? p ? ?q 2.假设：假设该蕴涵式为假。 (p?q) ? ?p ? ? q 0 3.赋值：以蕴涵为假为条件，逐层赋值。 注意：赋值过程中，无矛盾无效，有矛盾有效。 1. (p?q) ? ? p ? ?q 0 2. (p?q) ? ?p ? ?q 1 0 0 简化真值表方法的检验过程 例1：1 (p?q) ? ? p ? ? q 0 2 (p?q) ? ? p ? ? q 1 0 0 3 (p? q) ? ? p ? ? q 1 1 1 0 0 1 4 (p?q) ? ? p ? ? q 1 1 1 1 0 0 1 5 (p?q) ? ? p ? ? q 0 1 1 1 1 0 0 0 1 判定：无矛盾，假设成立，该推理无效。 即：当p赋值为假，q赋值为真时，蕴涵式为假。 例2：1 (p?q) ? p ? q 0 2 (p?q) ? p ? q 1 0 0 3 (p?q) ? p ? q 1 1 1 0 0 4 (p?q) ? p ? q 1 1 1 1 0 0 5 (p ?q) ? p ? q 1 1 0 1 1 0