离散数学A答案盛艳秀.docVIP

20061学期计算机2005级《离散数学（A卷）》参考答案及评分标准 将下列命题符号化（每小题3分，共18分） P：我有时间，Q：我去音乐会。P→Q…………………………………………… [3分] P：这门课很难，Q：这门课很有意思。P∧Q……………………………………[3分] P：你去，Q：我去。(P∧(Q)∨((P∧Q)或((P?Q)……………………………[3分] P：天下雨，Q：我开车，R：我乘公共汽车。(P?Q)∧((P?R)……………… [3分] S(x)：x是学生，L(x,y)：x比y聪明。(x(P(x)∧(y(P(y)→L(x,y)))…… [3分] P(x)：x是鸟，Q(x)：x有翅膀。(x(P(x)→Q(x))∧((x(Q(x)→P(x)) 或者(x(P(x)→Q(x))∧(x(Q(x)∧(P(x))…………………………………… [3分] 判断下列命题公式的类型。要求写出过程，使用等值演算或真值表均可。（每小题4分，共12分） 等值演算： (P∧(P→Q))→Q?(P∧((P∨Q))→Q?(P∧Q)→Q?((P∧Q)∨Q ?((P∨(Q)∨Q?(P∨((Q∨Q)= (P∨T=T 真值表 P Q P→Q P∧(P→Q) 公式 F F T F T F T T F T T F F F T T T T T T 故该命题公式为重演式…………………………………………………………[6分] 等值演算 ((P→Q)→(Q→(P) ?(P∨Q)→((Q∨(P)?((P∨Q)∨((Q∨(P) ?((P∧(Q)∨((Q∨(P) ?(Q∨(P 真值表 P Q (P→Q Q→(P 公式 F F F T T F T T T T T F T T T T T T F F 故该命题公式为可满足式………………………………………………………[6分] 用推理规则，构造如下问题的证明（每小题5分，共15分） 1、P∨(Q→R)，Q∨R，R→P(P (1) (P P(附加前提) (2) R→P P (3) (R T(1)(2) I (4) P∨(Q→R) P (5) Q→R T(1)(4) I (6) Q∨R P (7) Q T(3)(6) I (8) R T(5)(7) I (9) (R∧R T(3)(8) I 或其他正确的证明方法………………………………………………………………[5分] 2、符号化命题： 设F(x)：x是无理数，G(x)：x是有理数，H(x)：x能表示成分数。 ((x(F(x)∧H(x))，(x(G(x)→H(x)) ((x(G(x)→(F(x)) 证明 (1) ((x(F(x)∧H(x)) P (2) (x((F(x)∨(H(x)) T(1) E (3) (F(a)∨(H(a) US(2) (4) H(a)→(F(a) T(3) E (5) (x(G(x)→H(x)) P (6) G(a)→H(a) US(4) (7) G(a)→(F(a) T(4)(5) I (8) (x(G(x)→(F(x)) UG(6) 或其他正确的证明方法………………………………………………………………[5分] 3、(x(F(x)→G(x))((xF(x)→(xG(x) 附加前提法(CP规则) (1) (xF(x) P(附加前提) (2) F(a) US(1) (3) (x(F(x)→G(x)) P (4) F(a)→G(a) US(3) (5) G(a) T(2)(4) I (6) (xG(x) UG(5) (7) (xF(x)→(xG(x) CP 或其他正确的证明方法………………………………………………………………[5分] 可以使用等值演算或真值表 真值表 P Q R P↑Q P∧(R 公式 F F F T F F F F T T F F F T F T F F F T T T F F T F F T T T T