离散数学习题三 含答案_第1页
离散数学习题三 含答案_第2页
离散数学习题三 含答案_第3页
离散数学习题三 含答案_第4页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

离散数学习题311 .填补下列推理证书中未写的推理规则：前提条件：结论性意见： s证明： p前提导入前提导入 q (选言三段论法)前提导入 r (解析三段论)前提导入 s (假设推理)12 .填补下列推理证书中未写的推理规则：前提条件：结论：证明：(追加前提) p (简化规则) q (简化规则)前提导入 (假设推理) r (假设推理)前提导入 (假设推理) s (假设推理)十三、前提：结论1:r结论2:s结论3 :(1)由此前提证明结论1、结论2、结论3的推论是正确的。(2)从这个前提，证明推论任何结论的推论都是正确的。证明： (1)二、即结论1、结论2、结论3的推论都是正确的。(2)也就是说，推论什么样的结论都是正确的。14 .在自然推理系统p中构建以下推理的证明(1)前提：结论：证明：前提导入 p前提导入 假设推理 q前提导入假设推理 附加律15 .自然推理系统p用另外的前提法证明以下推理前提条件：结论：证明： s附加前提导入前提导入 p 假设推理前提导入假设推理 q前提导入 r 假设推理即根据附加前提证明法，推论是正确的。16 .自然推理系统p用回归误差法证明以下推理前提条件：结论：证明：结论否定导入前提导入前提导入前提导入结构上困难大致因为是矛盾式，所以推论是正确的17 .自然推理系统p构建以下推理的证明除非a去过受害者的房间，在11点之前还没有离开，否则a是杀人嫌疑犯。 a去过受害者的房间，a在11点之前离开的话门卫会看见他。 看门人没有看见他。 因此，a是谋杀嫌疑人。p: A到受害者房间的q: A点前离开r: A的杀人嫌疑犯s:的门卫看过a前提条件：结论性意见： r证明：前提导入前提导
人人文库> 全部分类> 行业资料 > 管理策划

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论