- 1、本文档共27页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
练习1:判断推理是否正确 1. 判断下面推理是否正确: (1) 前提:?p?q, ?q 结论:?p 解 推理的形式结构: (?p?q)??q??p 方法一:等值演算法 (?p?q)??q??p ? ?((p?q)??q)??p ? (?p??q)?q??p ? ((?p?q)?(?q?q))??p ? ?p?q 易知10是成假赋值,不是重言式,所以推理不正确. * 练习1解答 方法二:主析取范式法, (?p?q)??q??p ??((p?q)??q)??p ??p?q ?M2 ?m0?m1?m3 未含m2, 不是重言式, 推理不正确. * 练习1解答 方法三 真值表法 不是重言式, 推理不正确 1 1 1 0 0 1 1 1 0 1 0 0 (?p?q)??q??p q p ?p?q 0 1 1 1 (?p?q)??q 0 0 1 0 方法四 直接观察出10是成假赋值 * 练习1解答 用等值演算法 (q?r)?(p??r)?(q??p) ?(?q?r)?(?p??r)?(?q??p) ??((q??r)?(p?r))?(?q??p) ??((q?p)?(q?r)?(?r?p))?(?q??p) ? ((q?p)?(q?r)?(?r?p))?(?q??p) ?1 推理正确 (2) 前提:q?r, p??r 结论:q??p 解 推理的形式结构: (q?r)?(p??r)?(q??p) * 练习2:构造证明 2. 在系统P中构造下面推理的证明: 如果今天是周六,我们就到颐和园或圆明园玩. 如果颐和 园游人太多,就不去颐和园. 今天是周六,并且颐和园游 人太多. 所以, 我们去圆明园或动物园玩. 证明: (1) 设 p:今天是周六,q:到颐和园玩, r:到圆明园玩,s:颐和园游人太多 t:到动物园玩 (2) 前提:p?(q?r), s??q, p, s 结论:r?t * 练习2解答 (3) 证明: ① p?(q?r) 前提引入 ② p 前提引入 ③ q?r ①②假言推理 ④ s??q 前提引入 ⑤ s 前提引入 ⑥ ?q ④⑤假言推理 ⑦ r ③⑥析取三段论 ⑧ r?t ⑦附加 * 作业 P57 习题3 9. 14. (4) 15. (1) 16. (1) * * * * * * * * * * * * * * * * * * * * * * * * * 离散数学 云敏 主要内容 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 第三章 命题逻辑的推理理论 * 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值, A1?A2?…? Ak 为假,或当A1?A2?…?Ak为真时,B也为真, 则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确 的, 并称B是有效结论. 定理3.1 由命题公式A1, A2, …, Ak 推B的推理正确当且仅当 A1?A2?…?Ak?B为重言式 注意: 推理正确不能保证结论一定正确 * P ?Q的 真值表? 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 3. 前提: A1, A2, … , Ak 结论: B 判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法 推理的形式结构 1. {A1, A2, …, Ak} B 若推理正确, 记为{A1,A2,?,An} B * P ? Q、P ? Q、P
您可能关注的文档
- 【教学课件】男性生殖系统.ppt
- B-负重直腿抬高练习.ppt
- C#程序设计.多线程技术.ppt
- C#程序设计1NET框架.ppt
- respirology散步3公里能强肺.ppt
- c++-chap-4-利用函数实现制定功能.ppt
- c++-chap-8-类和对象的特性.ppt
- RFID标签读写操作与特性测试.ppt
- C++课件第10章-C++输入输出流与文件系统.ppt
- RHEL6版-项目2--熟悉RHEL6的图形和字符界面.ppt
- 中国国家标准 GB/T 18233.4-2024信息技术 用户建筑群通用布缆 第4部分:住宅.pdf
- GB/T 18233.4-2024信息技术 用户建筑群通用布缆 第4部分:住宅.pdf
- GB/T 18978.210-2024人-系统交互工效学 第210部分:以人为中心的交互系统设计.pdf
- 《GB/T 18978.210-2024人-系统交互工效学 第210部分:以人为中心的交互系统设计》.pdf
- 中国国家标准 GB/T 18978.210-2024人-系统交互工效学 第210部分:以人为中心的交互系统设计.pdf
- GB/T 16649.2-2024识别卡 集成电路卡 第2部分:带触点的卡 触点的尺寸和位置.pdf
- 《GB/T 16649.2-2024识别卡 集成电路卡 第2部分:带触点的卡 触点的尺寸和位置》.pdf
- 中国国家标准 GB/T 16649.2-2024识别卡 集成电路卡 第2部分:带触点的卡 触点的尺寸和位置.pdf
- GB/T 17889.4-2024梯子 第4部分:铰链梯.pdf
- 《GB/T 17889.4-2024梯子 第4部分:铰链梯》.pdf
最近下载
- 百日咳试题附有答案.docx VIP
- 2024年广东省深圳市光明区人大常委会办公室招聘一般类岗位专干12人历年【综合基础知识500题】高频考点模拟试题及参考答案解析.docx VIP
- 高中语文任务驱动型材料作文:枯燥与热闹审题指导(含解析).docx VIP
- 某镇卫生院污水设计方案.pdf VIP
- 2024年广东深圳市光明区人大常委会办公室招聘一般类岗位专干3人历年【综合基础知识500题】高频考点模拟试题及参考答案解析.docx VIP
- 中考数学经验交流会发言稿.pdf
- 2024年7月广东省深圳市光明区人大常委会办公室招聘10人历年【高频考点汇总500题】模拟卷及参考答案详解.docx VIP
- 《溜冰圆舞曲和雷鸣电闪波尔卡》精品课件2023.pptx
- 水利项目安全评价报告.docx
- 2024年7月广东省深圳市光明区人大常委会办公室招聘10人历年【综合基础知识500题】高频考点模拟试题及参考答案解析.docx VIP
文档评论(0)