湖南大学离散数学第一章习题三解答new.docVIP

1、利用定义1.6.1，并利用等值演算或真值表，证明如下各推理式，要注明每步的理由。 1、(A→B)∧?B??A 证：(A→B)∧?B→?A ( ? ((?A∨B)∧?B)∨?A 条件式等值式 ( ? (?A∧?B)∨?A 分配律 ( (A∨B)∨?A 德摩根律 ( (A∨?A)∨B 交换律结合律 ( 1∨?A ( 1 2、 (A∨B)∧?B?A 证：(A∨B)∧?B→A ( ? ((A∨B)∧?B)∨A 条件式等值式 ( ? (A∧?B)∨A 分配律 ( (?A∨B)∨A 德摩根律 ( (?A∨A)∨B 交换律结合律 ( 1∨B ( 1 3、 (A?B)∧(B?C) ?(A?C) 证：用真值表法证。 A B C A?B B?C (A?B)∧(B?C) A?C (A?B)∧(B?C) →(A?C) 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 4、 (A→B)∧( ?A→B) ?B 证：(A→B)∧( ?A→B) →B ( ? ((?A∨B)∧(A∨B))∨B 条件式等值式 ( (A∧?B)∨(?A∧?B)∨B 德摩根律 ( ((A∨?A)∧?B)∨B 分配律 (1∧?B)∨B ?B∨B ( 1 2、采用定义1.6.2方法证明如下推理式，并注明每步理由，可采用CP规则、反证法。 1、?p∨q，?q∨r，r→s，p ?s (1) p 前提引入 (2) ?p∨q 前提引入 (3) q (1)(2) (4) ?q∨r 前提引入 (5) r (3)(4) (6) r→s 前提引入 (7) s (5)(6) 2、 p→(q→r)，q→(r→s) ? (p∧q) →s (1) p∧q 附加前提引入 (2) p (1) (3) q (1) (4) p→(q→r) 前提引入 (5) q→r (2) (4) (6) r (3) (5) (7) q→(r→s) 前提引入 (8) r→s (3) (7) (9) s (6) (8) 3、p→(q→r)，p，q ? r∨s (1) p 前提引入 (2) p→(q→r) 前提引入 (3) q→r (1)(2)假言推理 (4) q 前提引入 (5) r (4)(3)假言推理 (6) r∨s (5) 4、p→q，?(p∧r) ，r ? ?p (1) ?(p∧r) 前提引入 (2) ?p∨?r (1)德摩律 (3) r→?p (2)条件等值式 (4) r 前提引入 (5) ?p (4)(3)假言推理 反证法 (1) ??p 否定结论 (2) p (1) (3)?(p∧r) 前提 (4)?p∨?r (3)德摩律 (5) p→?r (4)条件等值式 (6) ?r (2)(5)假言推理 (7) r 前提引入 (8) r∧?r 矛盾! 即“??p为真”错了，所以?p为真 5、p→q ? p→(p∧q) (1) p 附加前提引入 (2) p→q 前提引入 (3) q (1)(2)假言推理 (4) p∧q (1)(3) 6、q→p，q?s，s?t，t?r,r ? p∧q (1) t?r 前提引入 (2) (t→r)∧(r→t) (1)等值 (3) r→t (2) (4) r 前提引入 (5) t (3)(4)假言推理 (6) s?t