离散数学及应用第3版习题答案习题1.5.docxVIP

应用离散数学 命题逻辑 PAGE 杭电－周丽、方景龙 第一章 PAGE 11 §1.5 命题公式的推理演算 习题1.5 1. 用真值表方法判断下列推理是否正确。 （1） （2） （3） （4） （5） （6） 解 （1）推理不正确。 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 1 （2）推理正确。 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 （3）推理正确。 ? ?q∨r ?q ?p 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 （4）推理不正确。 p p∧q 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 （5）推理正确。 ?p→q q→r r→p p∨q∨r 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 (6) 推理不正确。 s p→q r∧s ?q p∧s 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 2. 请对下面每个推理前提给出两个结论，使其中之一是有效的，而另一个不是有效的。 （1）前提： （2）前提： （3）前提： 解 （1）有效结论：，无效结论：，下面的真值表说明了这一点。 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 （2）有效结论：，无效结论：，下面的真值表说明了这一点。 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 （3）有效结论：，无效结论：，下面的真值表说明了这一点。 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 3. 在下面各推理中没有给出结论。请对每个推理前提给出两个结论，使其中之一是有效的，而另一个不是有效的。 （1）只有天气热，我才去游泳。我正在游泳。所以…… （2）只要天气热，我就去游泳。我没去游泳。所以…… （3）除非天气热并且我有时间，我才去游泳。天气不热或我没有时间。所以…… 解 有效结论：天气热。 无效结论：天气不热。 有效结论：天气不热。 无效结论：天气热。 有效结论：我不去游泳。 无效结论：我去游泳。 4. 用真值表法或等价演算法证明下列推理 （1） （2） （3） （4） （5） （6） （7） （8） 证明 （1）（2）（3）（4）题都可以用下面的真值表。 A B ?A A→B ? (A→B) ?B 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 从而可以证出（1）（2）（3）（4）。 （5）[(A→B)∧(C →D)]→[(A∧C)→(B∧D)] =?[