3练习与答案 命题逻辑教学文案.pptVIP

练习 用归谬赋值法判定下列推理的有效性 1．（1）如果运动着的物体某一瞬间在这儿，那么，这一瞬间它肯定不在这儿。因此，运动着的物体某一瞬间既在这儿又不在这儿。 (p→﹁p)→(p∧﹁p) ? 0 0 0 0 真 假 由赋值可以看出，当p取值为假时，假设蕴含式为假成立，即对应的推理前提真，结论假，因此为无效式。 用归谬赋值法判定下列推理的有效性 （2）运动着的物体某一瞬间在这儿，当且仅当这一瞬间它不在这儿。因此，运动着的物体某一瞬间既在这儿又不在这儿。 (p?﹁p)→(p∧﹁p) ? (p?﹁p)→(p∧﹁p) 1 0 0 1 0 1 0 0 由赋值可以看出，无论p取何值，假设蕴含式为假均能推出矛盾，故假设不成立，即对应的推理前提真，结论假不可能，因此为有效式。 2．我们不可能既不保持安定局面又发展经济。因此，保持安定局面是发展经济的必要条件。 保持安定局面p 发展经济q ﹁(﹁p∧q) →(q→p) p q ﹁p ﹁p∧q ﹁(﹁p∧q) q→p ﹁(﹁p∧q)→(q→p) T T F F T T T T F F F T T T F T T T F F T F F T F T T T 2．我们不可能既不保持安定局面又发展经济。因此，保持安定局面是发展经济的必要条件。 保持安定局面p 发展经济q ﹁(﹁p∧q) →(q→p) 1 1 1 0 由赋值可以看出，当假设蕴含式为假时，p取值出现矛盾，故假设不成立，即对应的推理前提真，结论假不可能，因此为有效式。 12、 1、(p→q)→(﹁p∨q) 2、(p∧﹁q)?(﹁p∨q) 3、﹁q→((p→q)→﹁p) 4、(﹁q→(p→q))→﹁p 十二、 1、(p→q)→(﹁p∨q) (1)消去→，﹁(﹁p∨q)∨(﹁p∨q) (2)内移﹁，(﹁﹁p∧﹁q) ∨(﹁p∨q) (3)消去﹁﹁，(p∧﹁q) ∨(﹁p∨q) (4)分配展开，(p∨﹁p∨q)∧(﹁q∨﹁p∨q) (4)式为合取范式，其每一合取支都是重言的简单析取式，故为重言式。 (5)分配展开，(p∧﹁q)∨﹁p∨q (5)式为析取范式，其每一析取支都不是矛盾的简单合取式，故为不是矛盾式。 2、(p∧﹁q)?(﹁p∨q) (1)消去?，((p∧﹁q)∧(﹁p∨q))∨(﹁(p∧﹁q)∧﹁(﹁p∨q)) (2)内移﹁，((p∧﹁q)∧(﹁p∨q))∧((﹁p∨﹁﹁q)∧(﹁﹁p∨﹁q) (3)消去﹁﹁，((p∧﹁q)∧(﹁p∨q))∧((﹁p∨q)∧(p∨﹁q) (4)分配展开，(p∧﹁q∧﹁p)∨(p∧﹁q∧q)∨(﹁p∧p∧﹁q)∨(q∧p∧﹁q) (4)式为析取范式，其每一析取支都是矛盾的简单合取式，故为矛盾式。 (5)简化，(p∧﹁q)∧(﹁p∨q) (6)结合，p∧﹁q∧(﹁p∨q) (6)式为合取范式，其每一合取支都不是是重言的简单析取式，故为不是重言式。 3、﹁q→((p→q)→﹁p) (1)消去→，﹁﹁q∨(﹁(﹁p∨q)∨﹁p) (2)内移﹁，﹁﹁q∨((﹁﹁p∧﹁q)∨﹁p) (3)消去﹁﹁，q∨((p∧﹁q)∨﹁p) (4)分配展开，q∨((p∨﹁p)∧(﹁q∨﹁p)) (5)分配展开，(q∨p∨﹁p)∧(q∨﹁q∨﹁p) (5)式为合取范式，其每一合取支都是重言的简单析取式，故为重言式。 (6)结合，q∨(p∧﹁q)∨﹁p (6)式为析取范式，其每一析取支都不是矛盾的简单合取式，故为不是矛盾式。 4、(﹁q→(p→q))→﹁p (1)消去→，﹁(﹁﹁q∨(﹁p∨q))∨﹁p (2)内移﹁，(﹁﹁﹁q∧﹁(﹁p∨q))∨﹁p (3)内移﹁，消去﹁﹁，(﹁q∧(p∧﹁q))∨﹁p (4) 结合，(﹁q∧p∧﹁q)∨﹁p (4)为析取范式，并非每一析取支都是矛盾的简单合取式，故为不是矛盾式。 (5)分配展开，(﹁q∨﹁p)∧(p∨﹁p)∧(﹁q∨﹁p) (5)式为合取范式，并非每一合取支都是重言的简单析取式，故不是重言式。 十三、推理的蕴涵式为：(p→q)∧r∧﹁(r∧q)→﹁p (1)消去→，﹁((﹁p∨q)∧r∧﹁(r∧q)∨﹁p (2)内移﹁，(﹁(﹁p∨q)∨﹁r∨﹁﹁(r∧q))∨﹁p (3)内移﹁，((﹁﹁p∧﹁q)∨﹁r∨﹁﹁(r∧q))∨﹁p (4)消去﹁﹁，((p∧﹁q)∨﹁r∨(r∧q))∨﹁p (5)分配展开，((p∨﹁r∨r)∧(p∨﹁r∨