- 1、本文档共20页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 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 当谓词变元与量词的指导变元不同时,亦能有类似于上述的公式。 五、量词与命题联结词之间的一些等价关系 量词与命题联结词存在不同
您可能关注的文档
- 美团外卖和饿了么+竞品分析报告.doc
- 美国及噪声污染控制法规与标准.doc
- 美国城市化历程对我国及启示.docx
- 美国城市环境史及兴起.doc
- 美国大城市及生与死读后感.doc
- 美丽中国和生态文明建设试题.doc
- 福建省2012届高考数学理二轮专题总复习课件:专题9第2课时 坐标系及参考系方程(选修4-4).ppt
- 美国废纸及分类及标准.doc
- 美国大城市及管理与监督体制:以纽约市为例.doc
- 福建省2012届高考数学理二轮专题总复习课件:专题9第1课时 矩阵及变换(选修4-2).ppt
- DB36T 1753.1-2023 家具企业 仓库 第1部分:管理规范 .pdf
- DB36T 1812-2023 赣菜莲花血鸭烹饪技艺规范 .pdf
- DB36T 1750.1-2023 家具企业 5S工作 第1部分:评价规范 .pdf
- 黑龙江省大庆铁人中学2024-2025学年高二下学期开学考试历史含答案.pdf
- 精品解析:2023年全国乙卷英语真题(解析版).docx
- 精品解析:2023年全国乙卷英语真题(含听力)(解析版).docx
- 湖南省郴州市2024-2025学年高一上学期期末考试数学含答案.pdf
- 精品解析:2023年全国乙卷英语真题(含听力)(解析版).docx
- 【生物试题卷】含答案【浙江卷】浙江省宁波市宁波“十校”2025届高三3月联考(3.12-3.14).docx
- 精品解析:2023年新高考全国Ⅰ卷英语真题(解析版).docx
最近下载
- 工程结构健康监测技术规程.pdf VIP
- YST 509.1-2008锂辉石、锂云母精矿化学分析方法 氧化锂、氧化钠、氧化钾量的测定 火焰原子吸收光谱法.pdf
- 社区获得性肺炎诊断和治疗指南.pdf VIP
- 初中美术七年级下册(2024)湘美版(2024)合集.docx
- 解剖独立代理人制度.pptx
- 14日天津市直机关遴选面试真题及解析.docx VIP
- 中央银行学(第五版)全套PPT课件.pptx
- 天翼云解决方案架构师(高级)认证资格考试题(附答案).doc VIP
- 房地产-新发展模式展望系列二:新加坡凯德集团:开发投管有机联动,资产管理能力卓著.pdf VIP
- 新标准大学英语(第二版)综合教程2 课后练习答案.pdf
文档评论(0)