离散数学命题逻辑的推理理论习题.pdf
( 4.5 )《离散数学命题逻辑的推理理论习题.pdf》由会员分享，可在线阅读，更多相关《离散数学命题逻辑的推理理论习题.pdf（2页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。
离散数学命题逻辑的推理理论习题 Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】第三章作业在自然推理系统 P 中构造下列证明:要求:直接证明法,附加前提证明法,归谬法各至少使用一次.格式参格式参照第三章幻灯片照第三章幻灯片1.若你发给我电子邮件信息,则我将完成编写程序.若你不发给我电子邮件信息,则我将早早地去睡觉.若我早早地去睡觉,则我将感觉精力充沛地醒来.所以,若我不完成编写程序,则我将感觉精力充沛地醒来.2.今天下午没有出太阳并且今天比昨天冷.只有今天下午出太阳,我们才去游泳.若我们不去游泳,则我们将乘独木舟游览.若我们乘独木舟游览,则我们将在黄昏时回家.所以,我们将在黄昏时回家.3.前提:qp,qs,st,tr结论:pq4.前提:pr,qs,pq结论:t(rs)
- 配套讲稿：
如PPT文件的首页显示word图标，表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制：
部分文档作品中含有的国旗、国徽等图片，仅作为作品整体效果示例展示，禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词：
- 离散数学 命题逻辑 推理 理论 习题
淘文阁 - 分享文档赚钱的网站所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。
关于本文
限制150内