![](https://www.jinchutou.com/images/s.gif)
离散数学习题答案
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分享,可在线阅读,更多相关《离散数学习题答案》请在金锄头文库上搜索。
![2024年办公室银行工作总结](https://union.152files.goldhoe.com/2023-3/12/8779cc78-ac1a-4799-b2cf-b3100c2063ad/pic1.jpg)
2024年办公室银行工作总结
![2024年下雨天的作文500字(通用31篇)](https://union.152files.goldhoe.com/2023-2/21/f0f2d1dd-add4-4ce8-833d-3593d5b164fe/pic1.jpg)
2024年下雨天的作文500字(通用31篇)
![2024年劳动合同模板20篇](https://union.152files.goldhoe.com/2023-11/22/5dea0de6-ddfc-41ba-a544-ed0bf33bdcf4/pic1.jpg)
2024年劳动合同模板20篇
![师带徒培训管理办法](https://union.152files.goldhoe.com/2024-4/17/c55e360b-9de2-48b3-a3f7-1d1faa461cae/pic1.jpg)
师带徒培训管理办法
![2024年冬季送温暖工作总结](https://union.152files.goldhoe.com/2022-12/14/2e0fdf2a-4be4-4693-a503-882ca32c0b51/pic1.jpg)
2024年冬季送温暖工作总结
![《人体能量的供给》课件](https://union.152files.goldhoe.com/2022-12/6/07ffc738-e34a-495e-bee4-96d66c523085/pic1.jpg)
《人体能量的供给》课件
![2024年农家乐营销策划书](https://union.152files.goldhoe.com/2023-5/25/7b56a21b-5af0-45e6-99a9-3672bbcb798b/pic1.jpg)
2024年农家乐营销策划书
![2023年铝合金精密模锻件企业发展方向规划](https://union.152files.goldhoe.com/2023-9/3/77ec1db6-b3ec-4252-b7dc-07a5016f15ca/pic1.jpg)
2023年铝合金精密模锻件企业发展方向规划
![2024年创业合伙协议书篇](https://union.152files.goldhoe.com/2024-6/25/3991e5e8-82bd-4d3e-8a4f-4a9d23bbb603/pic1.jpg)
2024年创业合伙协议书篇
![2024年关于销售的工作报告](https://union.152files.goldhoe.com/2023-12/22/299e97bd-ebcb-4078-959f-bb63908a2ce6/pic1.jpg)
2024年关于销售的工作报告
![江苏2023年南通市事业单位招考考前自测高频考点模拟试题(共500题)含答案详解](https://union.152files.goldhoe.com/2023-12/13/1d7666ec-2fa5-4b83-92a0-2702dd0f3f60/pic1.jpg)
江苏2023年南通市事业单位招考考前自测高频考点模拟试题(共500题)含答案详解
![建设工程安全生产管理考试](https://union.01img.goldhoe.com/2023-10/26/193caca1-d371-4a86-a880-8b31191aa3ef/pic1.jpg)
建设工程安全生产管理考试
![2024年农村信用社个人述职报告](https://union.152files.goldhoe.com/2024-6/28/8e6936e3-cc30-4fc9-ae65-9c6af86d3f86/pic1.jpg)
2024年农村信用社个人述职报告
![2023年防水建筑材料企业战略发展规划方案](https://union.152files.goldhoe.com/2024-5/14/e4d94b46-07d9-413e-94a2-e70c665015c1/pic1.jpg)
2023年防水建筑材料企业战略发展规划方案
![2023年广东珠海高栏出入境边防检查站警务辅助人员招聘2人考前自测高频考点模拟试题(共500题)含答案详解](https://union.152files.goldhoe.com/2023-7/10/76a09e95-52dc-4fe8-8295-313431cccaed/pic1.jpg)
2023年广东珠海高栏出入境边防检查站警务辅助人员招聘2人考前自测高频考点模拟试题(共500题)含答案详解
![2023年下半年南京市溧水区所属事业单位招考考前自测高频考点模拟试题(共500题)含答案详解](https://union.152files.goldhoe.com/2024-5/6/6f458340-38da-4744-af34-18bc44b04ed3/pic1.jpg)
2023年下半年南京市溧水区所属事业单位招考考前自测高频考点模拟试题(共500题)含答案详解
![2024年初三毕业班励志标语汇总](https://union.152files.goldhoe.com/2023-3/12/3b819b01-5da7-4407-862e-bd590dcf97af/pic1.jpg)
2024年初三毕业班励志标语汇总
![最新如何拥有积极心态ppt课件](https://union.152files.goldhoe.com/2022-7/16/b4f2f42f-e611-49f9-ab51-88527e97f59d/pic1.jpg)
最新如何拥有积极心态ppt课件
![上海.放射污染.上岗证培训](https://union.152files.goldhoe.com/2023-3/4/9f5f9694-600d-4197-a866-a54da67b75ff/pic1.jpg)
上海.放射污染.上岗证培训
![2024年医院车辆管理制度_医院车辆管理制度范文](https://union.152files.goldhoe.com/2023-12/28/0d3fa9aa-67e6-4a20-8239-b98bfceac404/pic1.jpg)
2024年医院车辆管理制度_医院车辆管理制度范文
![安徽省部分地区高一上学期11月语文期中试卷汇编名篇名句默写(含答案)](/Images/s.gif)
2023-11-27 6页
![第20课《谈创造性思维》核心素养公开课一等奖创新教学设计](/Images/s.gif)
2023-11-03 9页
![4 四季 课件(共29张PPT)+一等奖创新教案](/Images/s.gif)
2023-09-23 12页
![第1课《邓稼先》公开课一等奖创新教学设计](/Images/s.gif)
2023-04-06 6页
![年度德育工作要点计划月历表幼儿园模板(35篇)](/Images/s.gif)
2024-04-16 77页
![关于企业年度培训要点计划月历表(30篇)](/Images/s.gif)
2024-05-22 84页
![5 玲玲的画一等奖创新教案(2课时)](/Images/s.gif)
2023-04-27 7页
![山东省枣庄市薛城区七年级上学期期中考试语文试题(原卷版+解析版)](/Images/s.gif)
2023-01-25 22页
![广西壮族自治区河池市八校高二上学期12月联考语文试题(扫描版含答案)](/Images/s.gif)
2023-10-09 3页
![人教部编版八年级(上)期末语文练习卷 (6)(含答案)](/Images/s.gif)
2023-11-03 20页