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

推理的构成 前提、结论和推出关系 ①显性部分：前提和结论 前提与结论之间有个显著的标志——”所以” “所以”前面是前提，后面是结论。 “所以”与“因此、因而、可见、因此可见、总之、总而言之”等相同。 前提与结论倒置，则用“因为”连接。 ②隐性部分：推出关系 必然性推出关系 或然性推出关系 推理的种类第一、按思维进程方向 第二、按前提的数量 第三、推出关系 有效式是前提蕴涵结论的蕴涵式 有效式与蕴涵式的共同点表现为： 有效式 前提真 推出 结论必真 蕴涵式 前件真 蕴涵 后件必真 共同点 前真 后必真 如果要得出一个必然为真的结论，推理必须具备两个条件： 第一，前提内容真实 第二，推理形式有效 复合命题推理有效性的判定 例：写出下列推理的形式，并分析是否有效，简答理由。 如果物体受到摩擦，那么物体生热。物体受到摩擦。所以，物体生热。 例：写出下列推理的形式，并分析是否有效，简答理由。 如果我努力用功了，那么只要考试不超出大纲范围，我就能过关。因此等于说，如果我努力用功了并且考试不超出大纲范围，那么我就能过关。 (p? q) ? ? p ? ? q  判定下列推理形式是否有效： p ? q ， r ? s ， ? r ? t