- 1、本文档共20页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第2章 逻辑代数(下:谓词演算
第2章逻辑代数(下):谓词演算
2.1 谓词演算基本概念
2.1.1 个体
谓词演算中把一切讨论对象都称为个体(individuals),它们可以是客观世界中的具体客体,也可以是抽象的客体,诸如数字、符号等。确定的个体常用a,b,c等小写字母或字母串表示。a,b,c等小写字母或字母串称为个体常元(constants)。不确定的个体常用字母x,y,z,u,v,w等来表示。它们被称为个体变元,或变元(variables)。
谓词演算中把讨论对象——个体的全体称为个体域(domain of individuals),常用字母D表示,并约定个体域都是非空的集合。当讨论对象未作具体指定,而是泛指一切客体时,个体域特称为全总域(universe),用字母U表示。
当给定个体域时,常元表示该域中的一个确定的成员,而变元则可以取该域中的任何一个成员为其值。表示D上运算的运算符与常元、变元可组成所谓个体项(terms)。例如,数学中的代数式a2+b,x2c等。
由于在我们讨论的谓词演算中,其变元只能取值个体对象,不能取值函数、命题或谓词,因此,它又常被叫做一阶谓词演算。
2.1.2 谓词
2.1.3 量词
谓词演算中的量词(quantifiers)指数学中常用的数量词“所有的”(或“每一个”)和“有”(或“存在”),用符号 ( 和 ( 来表示,分别称为全称量词和存在量词。为了用全称量词(表示个体域中所有(每一个)个体满足一元谓词P,用存在量词(表示有(存在)个体满足一元谓词P,还需使用变元:
(xP(x) 读作“所有(任意,每一个)x满足P(x)”,表示个体域中所有的个体满足谓词P(x)。
(x P(x) 读作“有(存在,至少有一个)x满足P(x)”,表示个体域中至少有一个体满足谓词P(x)。
当量词用于一谓词填式或复合的谓词表达式时,该谓词或复合的谓词表达式称为量词的辖域(domains of quantifiers)。因此,量词的辖域或者是紧邻其右侧的那个谓词;或者是其右侧第一对括号内的表达式。
量词的指导变元和量词辖域内的同名变元与通常谓词填式中的个体变元不同,因为它可以改名却不能取值作代入。因此,我们把 (xP(x) 和 (xP(x) 中变元x称为约束变元(bound variables),而那些可以取值作代入的变元则称为自由变元(free variables)。
对于一元谓词P(x),(xP(x),(xP(x)均为命题,它们所断言的“所有个体满足性质P(x)”与“存在个体满足性质P(x)”,其真值已经被给定的个体域所确定。特别是,当个体域中个体有穷时,例如D = (a1,…,an(,(xP(x) 的意义与命题 P(a1)∧…∧P(an) 相一致,而 (xP(x) 的意义与命题P(a1)∨…∨P(an) 相一致。
2.1.4 谓词公式及语句形式化
定义2.1 归纳定义谓词公式(predicate formula)集合,谓词公式又称合式公式,简称公式:
(1)谓词填式是公式,命题常元是公式(看作零元谓词),常称原子公式。
(2)如果A,B是公式,x为任一个体变元,那么((A),(A→B),((xA),((x A)(当使用五个联结词时还有(A∧B),(A∨B),(A(B))都是公式。
(3)(终极条款,略)。
括号省略原则同命题公式,并约定,((xA),((x A)中最外层括号也可省略。
语句形式化过程的四个关键步骤是:
准确地从语句中提取谓词。一般说来,表示性质的谓语用一元谓词表示,表示关系
的谓语用二元或更多元数的谓词来表示。
准确使用量词和确定量词的辖域,当辖域中多于一个谓词时必须注意括号的使用。
准确地使用谓词之间的真值联结词,正确地反映谓词之间的逻辑关系。
准确地使用多个重叠的量词以及与它们配套的指导变元,量词的排列次序应与原语
句的表述相一致。
自然语言语句中,常常涉及全总个体域的某个局部的所有个体或某些个体,这时需要使用所谓“限定谓词”把量词限于那个局部。一般地说,当限定谓词用于限定全称量词时,它必须作为蕴涵词的前件加入;当限定谓词用于限定存在量词时,它必须作为合取词的合取项加入,即用
(x(限定谓词A(x)→…) 和 (x(限定谓词A(x)∧…)
表示“所有满足A(x)的东西都 …”和“在满足A(x)的东西中有满足 … 的个体”。这里A(x)是限定谓词,将个体域暂时限定在满足A(x)的那些个体上。
练习2.1
1. 选择题
(1)下面哪个公式不是谓词公式( )
A.B.C.D.C
(2)谓词公式(x(P(x)∨(yR(y))→Q(x)中量词(x的辖域是( )
A.B.
C.D.
您可能关注的文档
- 第16讲 游戏中的声处理技术.doc
- 第16章 交流电电磁电磁波.doc
- 第15课_大萧条与罗福新政 2.doc
- 第17章《反比例函数单元检测题题(含答案).doc
- 第18-19课音乐美影视艺术lxm导学案.doc
- 第18课 中国社会义经济建设的曲折发展.doc
- 第185期简报-第五小学数学教师培训-样稿.doc
- 第1单元 公民的政治活 单元检测(人教版必修2).doc
- 第19讲电解池金属的化学腐蚀与防护.doc
- 第1单元 程序设计基知识-答案.doc
- 第8课 打字练习乐趣多(教学设计)四年级上册信息技术人教版.docx
- 三角形内角和(教学设计)-2023-2024学年四年级下册数学人教版.docx
- 2.2.1 化学平衡状态 化学平衡常数 教学设计 2024-2025学年高二上学期化学人教版(2019)选择性必修1.docx
- 第三节:独特的民族风 配套教学设计(131).docx
- 第31课 有规矩才能成方圆 教案.docx
- 第6课 互联网应用中的数据 教案 2023-2024学年 浙教版(2023)信息科技八年级上册.docx
- 【核心素养目标】数学人教版九年级下册29.3 课题学习 制作立体模型 教案.docx
- 第5课 罗马城邦和罗马帝国(教案)-2024-2025学年九年级历史上册素养提升教案(统编版).docx
- 第1课时 三位数乘两位数笔算乘法(教学设计)-2024-2025学年四年级上册数学人教版.docx
- 3 古诗词三首 六月二十七日望湖楼醉(教学设计)2024-2025学年统编版语文六年级上册.docx
文档评论(0)