离散数学习题答案
13页1、离散数学习题答案习题一及答案:(P14-15)14、将下列命题符号化:(5)李辛与李末是兄弟解:设p:李辛与李末是兄弟,则命题符号化的结果是p(6)王强与刘威都学过法语解:设p:王强学过法语;q:刘威学过法语;则命题符号化的结果是(9)只有天下大雨,他才乘班车上班解:设p:天下大雨;q:他乘班车上班;则命题符号化的结果是(11)下雪路滑,他迟到了解:设p:下雪;q:路滑;r:他迟到了;则命题符号化的结果是15、设p:2+3=5. q:大熊猫产在中国. r:太阳从西方升起.求下列复合命题的真值:(4)解:p=1,q=1,r=0,19、用真值表判断下列公式的类型:(2)解:列出公式的真值表,如下所示:001111011010100101110001由真值表可以看出公式有3个成真赋值,故公式是非重言式的可满足式。20、求下列公式的成真赋值:(4)解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是:所以公式的成真赋值有:01,10,11。习题二及答案:(P38)5、求下列公式的主析取范式,并求成真赋值:(2)解:原式 ,此即公式的主析取范式,所以成真赋值为011,111。6
2、、求下列公式的主合取范式,并求成假赋值:(2)解:原式,此即公式的主合取范式,所以成假赋值为100。7、求下列公式的主析取范式,再用主析取范式求主合取范式:(1)解:原式 ,此即主析取范式。主析取范式中没出现的极小项为,所以主合取范式中含有三个极大项,故原式的主合取范式。9、用真值表法求下面公式的主析取范式:(1)解:公式的真值表如下:00010000011011010110101111111000101101010111001011110101由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取范式,故主析取范式习题三及答案:(P52-54)11、填充下面推理证明中没有写出的推理规则。前提:结论:s证明: p 前提引入 前提引入 q 析取三段论 前提引入 r 析取三段论 前提引入 s 假言推理15、在自然推理系统P中用附加前提法证明下面推理:(2)前提: 结论:证明:用附加前提证明法。 p 附加前提引入 附加 前提引入 假言推理 s 化简 附加 前提引入 u 假言推理故推理正确。16、在自然推理系统P中用归谬法证明下面推理:(1)前提:, 结论:证明:用
3、归谬法 p 结论的否定引入 前提引入 假言推理 前提引入 析取三段论 前提引入 r 化简 合取由于,所以推理正确。17、在自然推理系统P中构造下面推理的证明:只要A曾到过受害者房间并且11点以前没离开,A就是谋杀嫌犯。A曾到过受害者房间。如果A在11点以前离开,看门人会看见他。看门人没有看见他。所以,A是谋杀嫌犯。解:设p:A到过受害者房间,q:A在11点以前离开,r:A是谋杀嫌犯,s:看门人看见过A。则前提:, 结论:证明: 前提引入 前提引入 拒取式 前提引入 合取引入 前提引入 假言推理习题四及答案:(P65-67)5、在一阶逻辑中将下列命题符号化:(2)有的火车比有的汽车快。解:设F(x):x是火车,G(y):y是汽车,H(x,y):x比y快;则命题符号化的结果是:(3)不存在比所有火车都快得汽车。解:设F(x):x是汽车,G(y):y是火车,H(x,y):x比y快;则命题符号化的结果是:或9、给定解释I如下:(a) 个体域为实数集合R。(b) 特定元素。(c) 函数。(d) 谓词。给出以下公式在I下的解释,并指出它们的真值:(2)解:解释是:,含义是:对于任意的实数x,y,若
《离散数学习题答案》由会员壹****1分享,可在线阅读,更多相关《离散数学习题答案》请在金锄头文库上搜索。
江西省主要农作物品种引种许可目录(第四期).doc
个人所得税(工资)纳税筹划
人教部编版六年级语文上册期中测试卷【及答案】.doc
第二届讲义抢救国语文.doc
创业策划3
钻井井控实施细则.docx
九成中学八年级数学基本知识竞赛题.doc
户外入门基础知识.doc
B13安全教育登记卡(桥梁).docx
口译词汇10教育文化词汇.doc
标准版商品房租房协议书范本.doc
职业健康管理制度简单版(六篇)
医院计划生育工作总结(三篇).doc
2023年拍摄合同范文汇编5篇
小圆面包的制作.doc
必备转正的述职报告范文十篇
射箭jspdoc
《数字电子技术》课期末考试复习题
抗原修复方法及注意事项.doc
2022年节约用水倡议书 节约用水倡议书精选模板.docx
2023-12-14 2页
2022-09-04 13页
2023-07-09 8页
2023-05-31 33页
2023-04-17 20页
2024-01-04 15页
2023-08-17 5页
2023-05-23 5页
2023-11-15 13页
2023-09-04 54页