《离散数学》(左孝凌 李为鉴 刘永才编著)课后习题答案 上海科学技术文献出版社 下载本文

(4) B P (5) C (3)(4)T,I (6) (C∧D) →E P (7) C→(D→E) (6)T,E (8) D→E (5)(7)T,I (9) ┐D∨E (8)T,E (10) ┐(D∧┐E) (9)T,E (11) ┐F→(D∧┐E) P

(12) F (10)(11)T,I (13) B→F CP (14) A→(B→F) CP c)A∨B→C∧D,D∨E→F?A→F

(1) A P (2) A∨B (1)T,I (3) A∨B→C∨D P

(4) C∧D (2)(3)T,I (5) D (4)T,I (6) D∨E (5)T,I (7) D∨E→F P

(8) F (6)(7)T,I (9) A→F CP d)A→(B∧C),┐B∨D,(E→┐F)→┐D,B→(A∧┐E)

?B→E

(1) B P(附加前提)

(2) ┐B∨D P (3) D (1)(2)T,I (4) (E→┐F)→┐D P

(5) ┐(E→┐F) (3)(4)T,I (6) E (5)T,I (7) B→E CP (4)证明:

页眉 25 / 28

a) R→┐Q,R∨S,S→┐Q,P→Q?┐P

(1) R→┐Q P (2) R∨S P (3) S→┐Q P

(4) ┐Q (1)(2)(3)T,I (5) P→Q P (6) ┐P (4)(5)T,I b) S→┐Q,S∨R,┐R,┐P?Q?P 证法一:

(1) S∨R P (2) ┐R P (3) S (1)(2)T,I (4) S→┐Q P (5) ┐Q (3)(4)T,I (6) ┐P?Q P (7)(┐P→Q)∧(Q→┐P) (6)T,E (8) ┐P→Q (7)T,I (9) P (5)(8)T,I 证法二:(反证法)

(1) ┐P P(附加前提) (2) ┐P?Q P (3)(┐P→Q)∧( Q→┐P) (2)T,E

(4) ┐P→Q (3)T,I (5) Q (1)(4)T,I (6) S→┐Q P (7) ┐S (5)(6)T,I (8) S∨R P (9) R (7)(8)T,I (10) ┐R P

(11) ┐R∧R 矛盾(9)(10)T,I

页眉 26 / 28

c)┐(P→Q)→┐(R∨S),((Q→P)∨┐R),R?P?Q (1) R P (2) (Q→P) ∨┐R P

(3) Q→P (1)(2)T,I (4)┐(P→Q) →┐(R∨S) P (5) (R∨S) →(P→Q) (4)T,E

(6) R∨S (1)T,I (7) P→Q (5)(6) (8) (P→Q) ∧(Q→P) (3)(7)T,I (9) P?Q (8)T,E 解:

a) 设P:我跑步。Q:我很疲劳。 前提为:P→Q,┐Q

(1) P→Q P (2) ┐Q P (3) ┐P (1)(2)T,I

结论为:┐P,我没有跑步。

b) 设S:他犯了错误。 R:他神色慌张。 前提为:S→R,R

因为(S→R)∧R?(┐S∨R)∧R?R。故本题没有确定的结论。

实际上,若S →R为真,R为真,则S可为真,S也可为假,故无有效结论。c) 设P:我的程序通过。 Q:我很快乐。

R:阳光很好。 S:天很暖和。(把晚上十一点理解为阳光不好) 前提为:P→Q,Q→R,┐R∧S

(1) P→Q P (2) Q→R P (3) P→R (1)(2)T,I (4) ┐R∨S P (5) ┐R (4)T,I (6) ┐P (3)(5)T,I

页眉 27 / 28

(5)

页眉 结论为: ┐P,我的程序没有通过

28 / 28