简化真值表和形式证明.ppt

复合命题推理有效性的判定 例：写出下列推理的形式，并分析是否有效，简答理由。 如果物体受到摩擦，那么物体生热。物体受到摩擦。所以，物体生热。 例：写出下列推理的形式，并分析是否有效，简答理由。 如果我努力用功了，那么只要考试不超出大纲范围，我就能过关。因此等于说，如果我努力用功了并且考试不超出大纲范围，那么我就能过关。 (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 01 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 0 1 1 0 0 5 (p ?q) ? p ? q 1 1 0 1 1 0 0 0 6 (p?q) ? p ? q 0 10 1 1 0 0 判定：产生矛盾，该推理有效。 判定“(? p? p ? q) ? p ? q”是否有效。 赋值技巧 1 变项赋值一般从结论（后件）开始。理由： 结论为假，容易赋值；结论比较简单。 2 如果结论为假的变项组合不止一种： ① 如果一种组合在赋值过程中无矛盾，余下的组合不必再赋值，即可判定该推理形式无效。 ② 如果所有组合在赋值过程中有矛盾，则该推理形式有效。 判定“（p→ q）∧（r→ s）∧(?q∨ ? s) ? ? p ∧ ? r”是否有效。 判定“（ ? p→ q） ∧ （ ? p ∨ ? q ） → ? （ p? q）”是否有效。 形式证明 1.根据复合命题的逻辑特性，可产生基本的推理有效式和等值式。 2.形式证明是一个推导序列，推理的有效性可以在一个推导序列中得到证明。 3.形式证明的结构分为三部分：序列号、真值形式和理由。 例1： p∨ q ，