离散数学第一部分测试题–有答案1.docVIP

离散数学第一部分测试题 填空题 1．当p,q,r分别取1，0，1时，(p→q) (p→r)的真值为 假，或0 2．设P：他富有，Q：他幸福，“他既不富有也不幸福” 的符号化为 ┐ P ∧┐ Q 3．“所有的人都长着黑头发F(x): x长着黑头发?x(M(x)→F(x)) 4．如果6大于4，则4大于5用谓词表达式符号化为 G(x,y): x﹥y ,G(6,4) →G(4,5) 选择题 1.2x+34（ C ） A.是命题也是复合命题B.是命题但不是复合命题C.不是命题A. 什么时候开会呀？B. 请快开门！C. x+y10。 苹果树和梨树都是落叶乔木。?p∧q) →r B．p→(q∨r) C．p ∧(q→r) D．p→(q∧r) 计算题 求(p∨q) →r的主析取范式 解 本公式含有三个命题变项，所以极小项均含有三个文字。 2．求公式的主合取范式： 证明： 证明题 1.用等演算法证明下面等值式。(┐p∨q)∧(p→r)(p→(q∧r))? (┐p∨q)∧(p→r) (┐p∨q)∧(┐p∨r) (蕴涵等值式) ┐p∨(q∧r) (分配律) p→(q∧r) (蕴涵等值式) 前提：p→(q→r)，s→p，q；?? 结论：s→r证明：用附加前提证明法 ①s 附加前提引入 ②s→p 前提引入 ③p ①②假言推理 ④p→(q→r) 前提引入 ⑤q→r ③④假言推理 ⑥q 前提引入 ⑦r ⑤⑥假言推理 ?前提：pq, p→r, q→s???????结论：rs??证明： ? ①┐(r∨s) 结论否定引入 ? ②p∨q 前提引入 ? ③p→r 前提引入 ? ④q→s 前提引入 ? ⑤r∨s ②③④构造性二难 ? ⑥┐(r∨s)∧(r∨s) ①⑤合取 ??为矛盾式，所以推理正确。明天是晴天，或是雨天；若明天是晴天，我就去看电影；若我看电影，我就不看书。所以，如果我看书，则明天是雨天。???令p：明天是晴天，q：明天是雨天，r：我看电影，s：我看书。???前提： pq, p→r, r→┐s???结论： s→q???证明： ? ①s 附加前提引入 ? ②r→┐s 前提引入 ? ③┐r ①②拒取式 ? ④p→r 前提引入 ? ⑤┐p ③④拒取式 ? ⑥p∨q 前提引入 ? ⑦q ⑤⑥析取三段论