- 1、本文档共29页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
交大数理逻辑课件3谓词逻辑的等值和推理演算.ppt
调 课 通 知 因下周五(11月12日)为广州亚运会开幕式官方放假时间,数理逻辑课程调到下周三(11月10日) 5,6节在310305课室上课,特告之。 第5章 谓词逻辑的等值和推理演算 5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5 推理演算 5.6 谓词逻辑的归结推理法 推理规则 (1)前提引入规则 (2)结论引入规则 (3)置换规则 (4)假言推理规则 (A?B)ùA T B (5)附加规则 A T (AúB) (6)化简规则 (AùB) T A (7)拒取式规则 (A?B)ù?B T ?A (8)假言三段论规则 (A?B)ù(B?C) T (A?C) (9)析取三段论规则 (AúB)ù?B T A (10)构造性二难推理规则 (A?B)ù(C?D)ù(AúC) T (BúD) (11)合取引入规则 A, B TAùB 有关量词的推理规则 全称量词消去规则(UI规则) 全称量词引入规则(UG规则) 存在量词引入规则(EG规则) 存在量词消去规则(EI规则) 使用推理规则的推演算举例 前提: (?x)P(x)?(?x)(P(x)∨Q(x))?R(x)), (?x)P(x) 结论: (?x)(?y)(R(x)∧R(y)) 证明: ① (?x)P(x)?(?x)(P(x)∨Q(x))?R(x)) 前提引入 ② (?x)P(x) 前提引入 ③ (?x)(P(x)∨Q(x))?R(x)) ① ② 分离 ④ P(c) ② EI ⑤ (P(c)∨Q(c))?R(c) ③ UI ⑥ P(c)∨Q(c) ④附加规则 ⑦ R(c) ⑤ ⑥分离 ⑧ (?x)R(x) ⑦EG ⑨ (?y)R(y) ⑦EG ⑩ (?x)R(x)∧(?y)R(y) ⑧ ⑨合取规则 ⑾ (?x)(?y)(R(x)∧R(y)) ⑩置换 证明: (?x)(H(x)→M(x)),(?x)H(x)?(?x)M(x) 证明: ① (?x)H(x) 前提引入 ② H(c) ① EI ③ (?x)(H(x)→M(x)) 前提引入 ④ H(c)→M(c) ③ UI ⑤ M(c) ② ④分离 ⑥ (?x)M(x) ⑤ EG 若把①,②写在③,④的后面,得到如下的推理: ① (?x)(H(x)→M(x)) 前提引入 ② H(c)→M(c) ① UI ③ (?x)H(x) 前提引入 ④ H(c) ③ EI ⑤ M(c) ② ④分离 ⑥ (?x)M(x) ⑤ EG 5.6 谓词逻辑的归结推理法 归结证明法的出发点 证明A ? B是定理,等价于证明A∧?B=G是矛盾式 归结证明过程 建立子句集S 将G中的全称量词省略,并将G中的合取词∧用“,”表示,得子句集S 如: (?x)(P(x)∧(?y)(D(y)?L(x,y)))的子句集S为 {P(a), ?D(y) úL(a,y)} 对S作归结 子句:P(x)úQ(x),? P(a)úR(x) 作归结,得 归结式:Q(a)úR(a) 并将此归结式仍放入S中,重复此过程 直至归结出空子句□,证明结束 归结法证明举例 A1=
文档评论(0)