简化真值与表和形式证明 .pptVIP

6、归谬推理 前提是两个充分条件假言命题，而这两个充分条件假言命题的后件是矛盾命题，并根据充分条件假言命题的逻辑特性而由前提必然推出结论的推理。 （p→ q）∧（p→ ﹁q）→﹁p 口袋里有红、黄、黑、白四个球，某人暗中取出两个攥在手心，让A、B、C三人猜他手中球的颜色，三人作了如下猜测： A：如果一个不是红球，那么另一个也不是黑球；要么不是黄球，要么不是黑球；白球和黑球至少有一个不是； B：并非不是红球或者不是黑球；或者是白球，或者是黄球；如果一个是白球，那么另一个不是黑球； C：如果一个是红球，那么另一个是黑球；除非一个是黄球，另一个才是白球；只要有黄球，就有白球； 某人摊开手掌后发现，三人的猜测中，各有正确的或错误的，且各人的三句中正确与错误的排列是“对—错—对”或者“错—对—错”。 请问二个球是什么颜色，写出推导过程。 7、条件移出入推理 ⑴ 条件移出推理： （p∧ q →r）→（p→（q →r）） ⑵ 条件移入推理： p→（q →r）→（p∧ q →r） 复合命题推理有效性的判定 例：写出下列推理的形式，并分析是否有效，简答理由。 如果物体受到摩擦，那么物体生热。物体受到摩擦。所以，物体生热。 例：写出下列推理的形式，并分析是否有效，简答理由。 如果我努力用功了，那么只要考试不超出大纲范围，我就能过关。因此等于说，如果我努力用功了并且考试不超出大纲范围，那么我就能过关。 (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 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