![离散数学形成性考核作业7答案_第1页](http://file.renrendoc.com/FileRoot1/2020-1/15/d4674914-a087-4e2d-ba06-9fda54c274c6/d4674914-a087-4e2d-ba06-9fda54c274c61.gif)
![离散数学形成性考核作业7答案_第2页](http://file.renrendoc.com/FileRoot1/2020-1/15/d4674914-a087-4e2d-ba06-9fda54c274c6/d4674914-a087-4e2d-ba06-9fda54c274c62.gif)
![离散数学形成性考核作业7答案_第3页](http://file.renrendoc.com/FileRoot1/2020-1/15/d4674914-a087-4e2d-ba06-9fda54c274c6/d4674914-a087-4e2d-ba06-9fda54c274c63.gif)
![离散数学形成性考核作业7答案_第4页](http://file.renrendoc.com/FileRoot1/2020-1/15/d4674914-a087-4e2d-ba06-9fda54c274c6/d4674914-a087-4e2d-ba06-9fda54c274c64.gif)
全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
精品文档一、填空题1命题公式的真值是 1 2设P:他生病了,Q:他出差了R:我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 (PQ )R 3含有三个命题变项P,Q,R的命题公式PQ的主析取范式是 (PQR)(PQR) 4设P(x):x是人,Q(x):x去上课,则命题“有人去上课” 可符号化为 5设个体域Da, b,那么谓词公式消去量词后的等值式为 6设个体域D1, 2, 3,A(x)为“x大于3”,则谓词公式($x)A(x) 的真值为 0 7谓词命题公式(x)(A(x)B(x) C(y)中的自由变元为 y 8谓词命题公式(x)(P(x) Q(x) R(x,y)中的约束变元为 x 三、公式翻译题 1请将语句“今天是天晴”翻译成命题公式解:设P:今天是晴天,命题“今天是晴天”翻译成命题公式为P。 2请将语句“小王去旅游,小李也去旅游”翻译成命题公式 解:设P:小王去旅游,Q:小李去旅游命题“小王去旅游,小李也去旅游”翻译成命题公式为PQ。 3请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式解:设P:明天天下雪,Q:我就去滑雪命题“如果明天天下雪,我就去滑雪”翻译成命题公式为PQ。 4请将语句“他去旅游,仅当他有时间”翻译成命题公式解:设P:他去旅游,Q:他有时间命题“他去旅游,仅当他有时间”翻译成命题公式为PQ。 5请将语句 “有人不去工作”翻译成谓词公式解:设P(x):x是人,Q(x):x去工作命题“有人不去工作”翻译成谓词公式为。 6请将语句“所有人都努力工作”翻译成谓词公式解:设P(x):x是人,Q(x):x努力工作命题“所有人都努力工作”翻译成谓词公式为四、判断说明题(判断下列各题,并说明理由) 1命题公式PP的真值是1答:不正确。因为当P是真命题时,P是假命题,当P是假命题时,P是真命题,所以PP是假命题,真值是0。 2命题公式P(PQ)P为永真式 答:正确。因为P(PQ),PP,所以命题公式是永真式。 3谓词公式是永真式答:正确。因为。所以命题公式是永真式。 4下面的推理是否正确,请给予说明(1) (x)A(x) B(x) 前提引入(2) A(y) B(y) US (1)答:不正确。因为的辖域是,不包含,所以根据全称量词消去规则,只能得到,而不能得到。四计算题1 求PQR的析取范式,合取范式、主析取范式,主合取范式解:所以PQR的析取范式为,合取范式为,主合取范式为,即。则主析取范式为,2求命题公式(PQ)(RQ) 的主析取范式、主合取范式解:所以(PQ)(RQ)的主合取范式为,即。则主析取范式为,3设谓词公式(1)试写出量词的辖域;(2)指出该公式的自由变元和约束变元解:(1)量词的辖域为,量词的辖域为,量词的辖域为;(2)该公式的自由变元为,自由出现2次,自由出现1次,约束变元为,约束出现2次,各约束出现1次。 4设个体域为D=a1, a2,求谓词公式y$xP(x,y)消去量词后的等值式;解:谓词公式y$xP(x,y)消去量词后的等值式为:五、证明题 1试证明 (P(QR)PQ与 (PQ)等价证明:所以,(P(QR)PQ与 (PQ)等价2试证明($x)(P(x) R(x)($x)P(x) ($x)R(x)证明:(1) ($x)(P(x) R(x) P(2) P(c) R(c) ES(1)(3) P(c) T (2) E(4) R(c) T (
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024-2030年中国染布市场发展分析及市场趋势与投资方向研究报告
- 2024-2030年中国果脯蜜饯市场营销态势与消费趋势预测报告
- 2024-2030年中国板铁去除行业市场发展趋势与前景展望战略分析报告
- 2024-2030年中国杀鼠灵行业深度调研及投资前景预测研究报告
- 2024-2030年中国机械型疏水阀行业市场发展趋势与前景展望战略分析报告
- 2024-2030年中国机器视觉系统行业竞争现状及投资商业模式分析报告
- 2024-2030年中国旅游行业市场发展分析及发展前景与投资研究报告
- 2024-2030年中国旅居车行业竞争格局及未来发展趋势展望报告
- 2024-2030年中国斑豆粉行业市场发展趋势与前景展望战略分析报告
- 2024-2030年中国教育电子行业市场现状调研及投资发展潜力分析报告
- 2024年4月自考04184线性代数(经管类)答案及评分参考
- 2022-2023学年河南省信阳市平桥区数学五年级下册期末达标测试试题含解析
- 中建六局应知应会法规制度考试(3卷)
- 切纸机操作指导作业书09
- 医学重点学科建设中汇报材料
- 2024年安徽中考语文二轮专题复习-现代文阅读专项训练(含答案)
- 中国老年糖尿病诊疗指南(2024版)解读
- 发展农村集体经济组织的思考
- 《电动自行车充换电柜消防安全要求》
- 幼儿园家长会健康讲座
- 脉动真空灭菌器的工作原理及维修保养
评论
0/150
提交评论