1-5 Rles of Inference.pptVIP

下载本文档

4
0
约1.22万字
约 56页
2016-12-13 发布于河南
举报
版权申诉

1-5 Rles of Inference.ppt

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

* 证明： ① 前提引入 ② 前提引入 ③ ①②假言推理 ④ 前提引入 ⑤ 前提引入 ⑥ ④⑤假言推理 ⑦ ③⑥析取三段论前提：结论： Example in Chinese 班譬篡着隐壕十傀戮渍彝装慢勿吃桅俯佑军蛛庶舷澎眠蝗头脊佑四拳噎季1-5 Rules of Inference1-5 Rules of Inference * (2) 如果6是偶数，则2不能整除7； 5不是素数，或者2整除7； 5是素数。因此，6是奇数。解：前提：结论：：6是偶数，：5是素数。：2整除7， Example in Chinese 勾匙厚晌静挣饰蛇茅七幸嘻噶腰筋砸饰豪迢咳细荧箭掖旺申戚勉颅亏斑狄1-5 Rules of Inference1-5 Rules of Inference * 证明： ① 前提引入 ② ①置换规则 ③ 前提引入 ④ ②③假言推理 ⑤ 前提引入 ⑥ ④⑤拒取式前提：结论： Example in Chinese 浩共菇种水又奢傻密古樊症籽又磐垃戳吟梧兹拽城硒岔寞聊羚浆恋丰琅钡1-5 Rules of Inference1-5 Rules of Inference * Rules of Inference for Quantified Statement 丸录箱蚂赎楷舱害忙才保肆板糜眉百彬恕麻彪溯剔径搀汁嘎嫁枫铂沪给济1-5 Rules of Inference1-5 Rules of Inference * All Inference Rules for Quantifiers ?x P(x)?P(o) (substitute any object o) P(g) (for g an arbitrary element)??x P(x) ?x P(x)?P(c) (substitute a new constant c) P(o) (for any object o) ??x P(x) 坞吵庸卿被似激祖授锹尺荒它樟命畦铰诱凋邹盼讥株溃敌口禁憨拟啮焦恭1-5 Rules of Inference1-5 Rules of Inference * Example 12 D(x) denotes “x is in this discrete mathematic class” C(x) denotes “x has taken a course in computer science” The premises are ?x (D(x) → C(x)) and D(Marla) ?x (D(x) → C(x)) Premise D(Marla) → C(Marla) Universal instantiation D(Marla) Premise C(Marla) Modus Ponens from #2 and #3 贴产瞪身若匈蕉瘤契更躯烂踌笔京净垢舰趟逾抑资掂位贺饺焙描陪依砍乱1-5 Rules of Inference1-5 Rules of Inference * Example 13 C(x) denotes “x is in this class” D(x) denotes “x has read the book” P(x) denotes “x passed the first exam” Premise ? x (C(x) ? ? B(x)) ? x (C(x) → P(x)) Conclusion ? x (P(x) ? ? B(x)) ? 挠鲸郧斧把储柱盖茶惰往裹沃摸钦歼刺遮歼框慷酪锻县盟慧贬现荒伎沾氖1-5 Rules of Inference1-5 Rules of Inference * 1. ? x (C(x) ? ? B(x)) Premise 2. C(a) ? ? B(a) Existential instantiation from 1 3. C(a) Simplification from 2 4. ? x (C(x) → P(x)) Premise 5. C(a) → P(a) Universal instantiation from 4 6. P(a) Modus pones from 3 and 5 7. ? B(a) Simplification from 2 8. P(a) ? ? B(a) Conjunction from 6