离散一阶逻辑等值演算和推理.pptVIP

下载本文档

9
0
约1.12万字
约 47页
2016-03-31 发布于湖北
举报
版权申诉

离散一阶逻辑等值演算和推理.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文档。上传文档

离散一阶逻辑等值演算和推理.ppt

10/22/05 XHL,SCAU F06 ?命题逻辑中的公式 A(p1, p2, …, pn) 的赋值的个数是有限的(2n 个), 可以通过枚举(例如用真值表)来判断其是否重言式. 而一阶逻辑中的公式解释的个数是无限的(不可枚举), 且解释是多样的(难以归纳); 要判断其永真性, 主要是运用等值演算法. 第一组代换实例命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式, 因而命题逻辑中的等值式?给出的代换实例都是一阶逻辑的等值式. 例如 A ? ??A 的代换实例: ?xF(x) ? ???xF(x) ?x?y(F(x, y)?G(x, y)) ? ???x?y(F(x, y) ? G(x, y)) 又如 A ? B ? ?A ? B 的代换实例: F(x) ? G(y) ? ?F(x) ? G(y), ?x(F(x) ? G(y)) ? ?zH(z) ? ??x(F(x)?G(y)) ? ?zH(z)) 第二组与量词有关的等值式 1.消去量词等值式设个体域为有限域 D = {a1, a2, …, an}, 则有 (1) ?xA(x) ? A(a1) ? A(a2) ? … ? A(an) (2) ?xA(x) ? A(a1) ? A(a2) ? …? A(an)???? (5.1) 2.量词否定等值式 (1) ??xA(x) ? ?x?A(x) (2) ??xA(x) ? ?x?A(x)???????????? (5.2) 3. 量词辖域收缩与扩张等值式设 A(x) 含 x 的自由出现, 而 B 不含 x 的自由出现, 则 (1) ?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)??????????? (5.3) (2) ?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)??????????? (5.4) 注意: 这些等值式的条件. ? 对条件联结词分配的时候前件中的量词要改变: ? ?????????x(A(x) ? B) ? ?xA(x) ? B ?x(A(x)?B) ? ?xA(x) ? B 证明 ?x(A(x) ? B) ? ?x(? A(x) ? B) ? ?x ? A(x) ? B ? ? ?x A(x) ? B ? ?x A(x) ? B 4. 量词分配等值式设公式 A(x), B(x) 含自由变项 x, 则??????? (1) ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x) ??? ????(2) ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x)?? (5.5) ? 对 ? 有分配律, 而 ? 对 ? 有分配律(对照消去量词等值式). 例 2 提前讲例2 证明? 对 ? 无分配律, 而 ? 对 ? 无分配律. (1) ?x(A(x)?B(x)) ? ?xA(x) ? ?xB(x); (2) ?x(A(x)?B(x)) ? ?xA(x) ? ?xB(x), 其中 A(x), B(x) 含自由变元 x. 证只要证明在某个解释下两边的式子不等值. (1)取解释 I: 个体域为￥; A(x) 为 x 是奇数; B(x) 为 x 是偶数. 则 ?x(A(x) ? A(x)) 为真, 而 ?xA(x) ? ?xB(x) 为假. (2)取解释 I 同(1), 则 ?x(A(x) ? B(x)) 为假, 而 ?xA(x) ? ?xB(x) 为真. 1. 置换规则设 ?(A) 是含公式 A 的公式, ?(B) 是用公式 B 取代 ?(A) 中所有的 A 后所得的公式, 若 A ? B, 则 ?(A) ? ?(B). 一阶逻辑中的置换规则与命题逻辑中的置换规则形式上相同, 只是在这里 A, B 是一阶逻辑公式. 2. 换名规则将公式 A 中某量词辖域中的约束变元及其指导变元改成该辖域中未曾出现过的个体变元符号, 设所得公式为 A, 则 A ? A. 例如 A(x) = ?xF(x) ? ?yG(x, y) 可换名为 A(x) = ?zF(z) ? ?yG(x, y), 或 A(x) = ?xF(x) ? ?zG(x, z), 或 A(x) = ?yF(