网站大量收购独家精品文档,联系QQ:2885784924

离散数学-2-5 谓词演算及等价式及蕴含式.ppt

  1. 1、本文档共20页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学-2-5 谓词演算及等价式及蕴含式

第二章谓词逻辑 2-5 谓词演算的等价式与蕴含式 授课人:李朔 Email:chn.nj.ls@ 一、基本概念 谓词公式中可包含有命题变元和客体变元,当命题变元用确定的命题取代,客体变元用确定的客体所取代时,就称作对公式赋值。 一个谓词公式经过赋值后,就成为真值确定的命题(T或F) 定义2-5.1 给定任何两个谓词公式wff A和wff B,设它们有共同的个体域E。若对A和B的任意一组变元进行赋值,所得命题的真值相同,则称谓词公式A和B在E上是等价的。记为A?B。 一、基本概念 定义2-5.2 任意给定谓词公式wff A,其个体域为E。若对A的任意变元赋值,wff A都为真,则称该wff A在E上是有效的(或永真的)。 定义2-5.3对于一个谓词公式wff A,如果在所有赋值下,该公式的真值都为假,则称该wff A 为不可满足的。 定义2-5.4对于一个谓词公式wff A,如果至少在一种赋值下为真,则称该wff A 为可满足的。 二.命题公式的推广 在命题逻辑中,重言式的同一分量出现的每一处都用同一合式公式置换,其结果仍是重言式 类似于我们学习过的命题逻辑中的等价式与蕴含式,在谓词逻辑中有了等价和永真的概念,同样有谓词演算的一些等价式与蕴含式。 命题演算中的等价公式表和蕴涵式表都可以推广到谓词演算中。 当谓词演算中的公式代替命题演算中永真公式的变元时,所得的谓词公式即为有效公式。故命题演算中的等价公式和蕴含式表都可推广到谓词演算中使用。 二.命题公式的推广 例如: (?x)(P(x)?Q(x)) ? (? x)(?P(x)?Q(X)) (?x)P(x)?(?y)(R(x,y) )? ?(?(?x)P(x) ? ?(?y)(R(x,y))) (?y) (?x)(H(x,y)??H(x,y)) ?F 三.量词与联结词?之间的关系 例1 设 P(x)表示x喜欢梦八队,则? P(x)表示x不喜欢梦八队。(个体域限定为人) (1)不是所有人都喜欢梦八队: ?(?x)P(x) (2)存在一些人不喜欢梦八队: (?x)?P(x) (3)不会有人喜欢梦八队: ?(?x)P(x) (4)所有人都不喜欢梦八队: (?x)?P(x) 可以看出命题(1)(2)意义完全相同,(3)(4)意义也完全相同。即有 1.?(?x)P(x) ? (?x)?P(x) 2.?(?x)P(x) ? (?x)?P(x) 三.量词与联结词?之间的关系 式1与式2反映了量词与联结词?之间的关系,是我们可以得到的公式(量词的转化律) 这里的约定:出现在量词之前的否定,不是否定该量词,而是否定被量化了的整个命题。 上述公式在有限论域上的证明: 设个体域中的客体变元为a1,a2,…,an,则 1.?(?x)A(x) ??(A(a1)?A(a2)?…?A(an)) ??A(a1) ? ? A(a2)?…? ? A(an)) ? (?x)?A(x) 2.?(? x)A(x)??(A(a1)?A(a2)?…?A(an)) ??A(a1)??A(a2)?…??A(an)) ? (?x)?A(x) 三.量词与联结词?之间的关系 量词转化律也能推广到无穷个体域 结论: 当将量词前面的联结词?移到量词的后面去时,存在量词改为全称量词,全称量词改为存在量词;反之,如果将量词后面的联结词?移到量词的前面去时,也要做相应的改变。 四.量词作用域的扩张与收缩 量词的作用域中常有合取项或析取项,如果其中一个为命题(即零元谓词),则可将该命题移至量词作用域外。如 1. (?x)(A(x)?B) ? (?x)A(x)?B 2. (?x)(A(x)?B) ? (?x)A(x)?B 3. (?x)(A(x)?B) ? (?x)A(x)?B 4. (?x)(A(x)?B) ? (?x)A(x)?B 因为B中不出现约束变元x,所以它属于或不属于量词作用域均有相同意义。 四.量词作用域的扩张与收缩 从1-4式还可推得如下几个式子: 5. ((?x)A(x)?B)) ? (?x)(A(x)?B) 6. ((?x)A(x)?B)) ? (?x)(A(x)?B) 7. (B?(?x)A(x)) ? (?x)(B?A(x)) 8. (B?(?x)A(x)) ? (?x)(B?A(x)) 例2 证明5式 P68 当谓词变元与量词的指导变元不同时,亦能有类似于上述的公式。 五、量词与命题联结词之间的一些等价关系 量词与命题联结词存在不同

文档评论(0)

ctuorn0371 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档