- 1、本文档共36页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第五章 一阶逻辑等值演算与推理 主要内容 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式 自然推理系统NL 及其推理规则 5.1 一阶逻辑等值式与置换规则 定义5.1 设A, B是两个谓词公式, 如果A?B是永真式, 则称A 与B等值, 记作A?B, 并称A?B是等值式 基本等值式 第一组 命题逻辑中16组基本等值式的代换实例 例如,???xF(x)??xF(x), ?xF(x)??yG(y) ? ??xF(x)??yG(y) 等 第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① ?xA(x) ? A(a1)?A(a2)?…?A(an) ② ?xA(x) ? A(a1)?A(a2)?…?A(an) 基本等值式 (2) 量词否定等值式 ① ??xA(x) ? ?x?A(x) ② ??xA(x) ? ?x?A(x) (3) 量词辖域收缩与扩张等值式. A(x) 是含 x 自由出现的公式,B 中不含 x 的自由出现 关于全称量词的: ① ?x(A(x)?B) ? ?xA(x)?B ② ?x(A(x)?B) ? ?xA(x)?B ③ ?x(A(x)?B) ? ?xA(x)?B ④ ?x(B?A(x)) ? B??xA(x) 基本等值式 关于存在量词的: ① ?x(A(x)?B) ? ?xA(x)?B ② ?x(A(x)?B) ? ?xA(x)?B ③ ?x(A(x)?B) ? ?xA(x)?B ④ ?x(B?A(x)) ? B??xA(x) (4) 量词分配等值式 ① ?x(A(x)?B(x)) ? ?xA(x)??xB(x) ② ?x(A(x)?B(x)) ? ?xA(x)??xB(x) 注意:?对?,?对?无分配律 置换规则、换名规则、代替规则 1. 置换规则 设?(A)是含A的公式, 那么, 若A?B, 则?(A)??(B). 2. 换名规则 设A为一公式,将A中某量词辖域中个体变项的所有约束 出现及相应的指导变元换成该量词辖域中未曾出现过的个 体变项符号,其余部分不变,设所得公式为A?,则A??A. 3. 代替规则 设A为一公式,将A中某个个体变项的所有自由出现用A中 未曾出现过的个体变项符号代替,其余部分不变,设所得 公式为A?,则A??A. 实例 例1 将下面命题用两种形式符号化, 并证明两者等值: (1) 没有不犯错误的人 实例 (2) 不是所有的人都爱看电影 实例 例2 将公式化成等值的不含既有约束出现、又有自由出现 的个体变项: ?x(F(x,y,z)??yG(x,y,z)) 实例 例3 设个体域D={a,b,c}, 消去下述公式中的量词: (1) ?x?y(F(x)?G(y)) 实例 例3 设个体域D={a,b,c}, 消去下述公式中的量词: (1) ?x?y(F(x)?G(y)) 实例 例3 设个体域D={a,b,c}, 消去下述公式中的量词: 5.2 一阶逻辑前束范式 定义5.2 设A为一个一阶逻辑公式,若A具有如下形式 Q1x1Q2x2…QkxkB 则称A为前束范式,其中Qi (1? i ?k)为?或?,B为不含量词 的公式. 例如, ?x?(F(x)?G(x)) ?x?y(F(x)?(G(y)?H(x,y))) 是前束范式 而 ??x(F(x)?G(x)) ?x(F(x)??y(G(y)?H(x,y))) 不是前束范式, 前束范式存在定理 定理5.1(前束范式存在定理) 一阶逻辑中的任何公式都存在与之等值的前束范式 求前束范式的实例 (2) ?xF(x)???xG(x) 求前束范式的实例 5.3 一阶逻辑的推论理论 推理的形式结构 1. A1?A2???Ak ?B 若次式是永真式, 则称推理正确, 记作A1?A2???Ak ?B 2. 前提: A1, A2,?, Ak 结论: B 推理定理: 永真式的蕴涵式 推理定律 第一组 命题逻辑推理定律的代换实例 如, ?xF(x)??yG(y) ? ?xF(x) 第二组 基本等值式生成的推理定律 如, ?xF(x) ????xF(x),
您可能关注的文档
- 福建省罗源县第一中学高中历史近代西方民主政治的确立与发展课件人民版必修1.ppt
- 福建省漳平市新桥镇产盂村山茶油介绍.pptx
- 福建省连城第一中学黄一文.ppt
- 福建省联通“新视界”业务策划书(个人业务供参考).ppt
- 福建省罗源县第一中学高中历史美国1787年宪法课件人民版必修1.ppt
- 福建省长泰一中高考语文一轮复习60古典诗歌鉴赏的表达技巧(上)课件.ppt
- 福建省高考文科数学第二轮专题:专题一三角函数第一讲三角函数的图象与性质28.ppt
- 福建省高考生物复习课件:物质循环(.ppt
- 福建省高考文科数学第二轮专题:专题一三角函数第二讲三角恒等变换与解三角形.ppt
- 福建路第12组中国银行.ppt
- [专精特新]金华永和氟化工有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]重庆升光电力印务有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]无锡巨力重工股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]江西凯安新材料集团股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]浙江永昌电气股份有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]苏州中创铝业有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]杭州汽轮铸锻有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]浙江美声智能系统有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]汕头市虹桥包装实业有限公司行业竞争力评级分析报告(2023版).pdf
- [专精特新]江西亚中电子科技股份有限公司行业竞争力评级分析报告(2023版).pdf
最近下载
- 江苏省2021年中学生生物学奥林匹克初赛理论试题答案.doc
- 2025年哈尔滨应用职业技术学院单招语文测试题库附答案.docx VIP
- 2025年安徽水利水电职业技术学院高职单招职业技能测试近5年常考版参考题库含答案解析.docx
- 【道氏理论】(完全版).doc
- 分娩镇痛的现状和临床应用课件.ppt
- 学科中心教研组管理方案.docx VIP
- 五年级下册数学单元测试-3长方体和正方体 人教版(含答案).docx
- 2024年安徽水利水电职业技术学院单招职业技能测试题库(考试直接用).docx VIP
- 23S516 混凝土排水管道基础及接口图集.docx VIP
- 数控系统(CNC)系列:Fanuc 31i-B_(6).G代码和M代码详解.docx
文档评论(0)