离散数学第一次作业参考答案_第1页
离散数学第一次作业参考答案_第2页
离散数学第一次作业参考答案_第3页
离散数学第一次作业参考答案_第4页
全文预览已结束

下载本文档

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

文档简介

千里之行，始于足下让知识带有温度。第第2页/共2页精品文档推荐离散数学第一次作业参考答案4.用等值演算法证实下面等值式：

(2)(p→q)∧(p→r)?(p→(q∧r))

(4)(p∧?q)∨(?p∧q)?(p∨q)∧?(p∧q)

证实（2）(p→q)∧(p→r)

?(?p∨q)∧(?p∨r)

??p∨(q∧r))

?p→(q∧r)

（4）(p∧?q)∨(?p∧q)?(p∨(?p∧q))∧(?q∨(?p∧q))?(p∨?p)∧(p∨q)∧(?q∨?p)∧(?q∨q)

?1∧(p∨q)∧?(p∧q)∧1

?(p∨q)∧?(p∧q)

14.在自然推理系统P中构造下面推理的证实：

(4)前提：q→p,q?s,s?t,t∧r

结论：p∧q

证实：

②t∧r前提引入

②t①化简律

③q?s前提引入

④s?t前提引入

⑤q?t③④等价三段论

⑥（q→t）∧(t→q)⑤置换

⑦（t→q）⑥化简

⑧q②⑥假言推理

⑨q→p前提引入

⑩p⑧⑨假言推理

○11p∧q⑧⑩合取

P59.18.在自然推理系统P中构造下面推理证实

（1）假如今日是星期六，我们就要到颐和园或圆明园去玩，假如颐和园游人太多，我们就不去颐和园玩，今日是周末颐和园游人太多，所以我们去圆明园玩。

证实：设p：今日是星期六，q：我们到颐和园玩，r:我们到圆明园玩，s:颐

和园游人太多

前提：p→(q∨r),s→?q,p,s

结论：r

推理：①s→?q前提引入

②s前提引入

③?q①②假言推理

④p前提引入

⑤p→(q∨r)前提引入

⑥q∨r④⑤假言推理

⑦r③⑥析取三段论

P86.22.在自然推理系统N￡中，构造下列推理的证实。

（1）偶数都能被2整除。6是偶数。所以6能被2整除。

设：F（x）:x为偶数，G（x）:x能被2整除，a：6

前提：?x(F(x)→G(x)),F(a)

结论：G（a）

证实：

①随意x（F（x）—>G（x））前提引入

②F（a）—>G（a）①全称量词消去规章

③F（a）

人人文库> 全部分类> 教育资料 > 备课教案

温馨提示

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

最新文档

评论

0/150

提交评论