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

第 PAGE 1页， 共 NUMPAGES 24页 1. 写出命题公式 ﹁（P →（P∨ Q））的真值表。 答案： 2.证明 答案： 3. 证明以下蕴涵关系成立： 答案： 4. 写出下列式子的主析取范式： 答案： 5. 构造下列推理的论证：p∨q, p→?r, s→t, ?s→r, ?t 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 T ?q 7. 请将下列命题符号化： 所有鱼都生活在水中。 答案： 令　F( x )：x是鱼 W( x )：x生活在水中 8. 请将下列命题符号化： 存在着不是有理数的实数。 答案： 令 Q