离散数学复习题及答案.pdfVIP

1 . 写 出 命 题 公 式 ﹁ （ P → （ P ∨ Q ）） 的 真 值 表 。 答案： 2. 证明 答案： 3. 证明以下蕴涵关系成立： 答案： ( P Q) ( P R) 4. 写出下列式子的主析取范式： 答案： 5. 构造下列推理的论证： p∨q, p → r, s →t, s →r, t q 答案： ①s →t 前提 ②t 前提 ③s ①②拒取式 I12 ④s →r 前提 ⑤r ③④假言推理 I11 ⑥p→r 前提 ⑦p ⑤⑥拒取式 I12 ⑧p∨q 前提 ⑨q ⑦⑧析取三段论 I10 6. 用反证法证明： p→( (r ∧s) → q), p, s q 7. 请将下列命题符号化： 所有鱼都生活在水中。 答案： 令 F( x ) ：x 是鱼 W( x ) ：x 生活在水中 8. 请将下列命题符号化： 存在着不是有理数的实数。 答案： 令 Q ( x ) ：x 是有理数 R ( x ) ：x 是实数 9. 请将下列命题符号化： 尽管有人聪明，但并非一切人都聪明。 答案： 令 M(x) ：x 是人 C(x) ：x 是聪明的 则上述命题符号化为 10. 请将下列命题符号化： 对于所有的正实数 x,y ，都有 x+y ≥x 。 答案： 令 P(x):x 是正实数 S(x,y): x+y ≥x 11. 请将下列命题符号化： 每个人都要参加一些课外活动。 答案： 令 P(x):x 是人 Q(y): y 是课外活动 S(x,y):x 参加 y 12. 请将下列命题符号化： 某些人对某些药物过敏。 答案： 令 P(x):x 是人 Q(y): y 是药 S(x,y):x 对 y 过敏 13. 求 y( P(x ) Q( y)) yR( y ) 的对偶式 : 答案： x y( zP(x , z) P(y , z)) uQ( x, y ,u) 14. 求下列谓词公式的前束范式： 答案： 15. 证明： 答案： 16. 用反证法证明： x(P(x) ∧Q(x)) , xP(x) xQ(x) 答案： 17. 证明： 前提： x(C(x) W(x) ∧R(x)), x(C(x) ∧Q(x)). 结论： x(Q(x) ∧R(x)). 答案： (1) x(C(x) ∧Q(x)) 前提引入 (2) C(a) ∧Q(a) (1)ES (3) C(a) (2) 化简规则 (4) x(C(x) W(x) ∧R(x)) 前提引入 (5) C(a) W(a) ∧R(a) (4)US (6) W(a) ∧R(a) (3)(5) 假言推