第九章 谓词逻辑基础

第九章

谓词逻辑基础

上一章我们研究了命题逻辑，运用建立起的符号体 系确实能表示命题及其间的逻辑关系，并能进行演 算和推理。命题逻辑以原子命题为最小研究单位， 现在我们来考察这样两个命题： “张天是大学生” “王夜是大学生”。 它们是两个原子命题，因此只能用两个不同字母如 P,Q来表示它们。可是很显然这两个自然语言的谓 语即谈论的问题是一样的，但这一点在命题逻辑符 号化时不能体现。 另外就是著名的苏格拉底推理： 所有的人都是要死的，苏格拉底是人，所以苏格拉 底是要死的。

这是一个很明显成立的推理，但用命题逻辑来解释 时是行不通的。因为我们在形式化时只能将三个语 句用三个字母如A,B,C来表示，这样推理就成为 A∧B C,而A∧B C不是永真式。我们来分析一 下这其中的原因，实际上A,B,C在内部结构上是 有联系的，即C的主语和谓语分别是B的主语和A的 谓语。 要解决以上两个问题都需要将原子命题结构细分， 一般主要划分为主语和谓语，这就是本章要讲的谓 词逻辑。当然谓词逻辑还有一点更重要的区别与命 题逻辑的，那就是要讨论量词。

§9.1谓词逻辑的基本概念9.1.1 个体 谓词与谓词表达式

一个原子命题主要是由主语和谓语组成。主

语就是论述的对象称为个体(individuals), 个体可以是具体的，也可以是抽象的，常用a, b,c等小写字母表示，它可以是一个也可以 是多个。当个体是一个对象时，谓语表示它 的性质，当个体是多个对象时，谓语表示它 们之间的关系，谓语称为谓词(predicate)。 谓词常用P,Q,R,A,B等大写字母来表示， 也常常用英文单词来表示，如GREAT:大于； BETWEEN:位于…之间，尤其在程序设计 和人工智能中。

当一个个体a具有性质P时，就表示为P(a)。

这时称P为一元谓词。如本节开始提到的两个 原子命题，设P:是大学生，a: 张天, b: 王夜， 则两个命题可分别表示为：P(a),P(b), 这说明两个不同的个体具有同一个性质。 又如：2大于3,设R:大于，则命题可表示 为R(2,3),说明2,3具有关系R。这时称 R为二元谓词。

再看命题：武汉位于北京和广州之间。设W:…位 于…和…之间，w: 武汉,b: 北京,g: 广州, 则命题可 表示为W(w,b,g). 这时称W为三元谓词。 值得注意的是，当谓词涉及多个个体时，千万不 能随意交换个体顺序。因为如上述R(3,2)表示3 大于2,显然R(2,3)为假，而R(3,2)为真。 又如上述W(b, w ,g):表示北京位于武汉和广州 之间，显然W(b, w ,g)为假，而W(w,b,g)为真。 把语句写成如

上形式P(a),R(2,3),W (w,b,g)等就称为是谓词表达式。

例9.1 将下列语句写成谓词表达式形式： (1)苏格拉底是要死的。 (2)- 5的平方非负。 (3)董旎生于青岛。 (4)3+ 5 = 8 解：(1)设D表示“…是要死的”,s: 苏格拉底，语 句写成谓词表达式为：D(s)或D(socrates)。 (2)设NN表示“…是非负的”,语句写成谓词 表达式为：NN((-5)2)。 (3)设B表示“…生于…”,a:董旎，b:青岛， 语句写成谓词表达式为：B(a,b)或B(Dongni, qingdao)。 (4)设ADD表示“…+…=…”,语句写成谓词表 达式为：ADD(3,5,8)。

如上述的socrates,-5,a,b,3,5等代表一个确 切的个体，我们称为个体常元(constants)。下面 进一步考察上例中的D(s),容易知道其真值为真， 但若s代表某块石头的话，则D(s)真值为假；同 样如果考察ADD谓词，ADD(3,5,8)为真，而 ADD(5,5,8)为假，ADD(5,7,12)又为真。 可见对同一个谓词一般要依所谈个体对象不同会得 到不同的真值，即假设x,y,z代表任意个体----称 为个体变元(variables),则D(x),ADD(x,y, z)往往要随个体变元的取值不同而真值也不同，当 然这时象D(x),ADD(x,y,z)等不再是命题， 我们称它们为命题函数。

9.1.2 命题函数与个体域

定义9.1

由一个特定谓词P和n个个体变元 x1,x2, …, xn组成的形如P(x1,x2, …, xn) 的表达式称为简单命题函数(propositional function)。简单命题函数可用所有的命题联 接词联接组成复合命题函数。

如： A(x):x 学习好 B(x): x 工作好 则A(x)∧ B(x):表示x 学习好并且工作好。 A(x)→ B(x):表示若x 学习好则x工作好。 对于一个个体变元其变化的范围即—个体的全体称 为个体域(domain of individuals),当讨论对象遍 及一切客体时，个体域特称为全总域(universe)。 那么一些复杂的性质和关系，可以用谓词和联结 词复合的形式来描述。

“x是小于100的质数”可表示为 L(x,100)∧P(x)(其中L(x,100):x小于 100, P(x):x是质数) “y小于等于3”可表示为 L(y,3)∨E(y,3) (其中E(y,3):y等于3),或 y≤ 3 “如果一个人生于北京，那么他不生于上海” 可表示为 B(x,beijing)→┐B(x,shanghai) ( B(x,beijing):x生于beijing) “y是非负实数当且仅当y大于等于零” 可表 示为 NN(y) 0 ≤ y(NN(y):y是非负的) 例9.2

9.1.3 量词与辖域

我们曾经谈过，谓词逻辑区别于命题逻辑还有一点 更重要的是要讨论量词(quantifiers),即指 “所 有”“一切”“任一个”和“有”“某些”“存 在”,分别用符号

和 来表示，并分别称为全称 量词和存在量词。那么 xP(x)表示个体域中所有的 个体都满足谓词P; x P(x) 表示个体域中有个体满 足谓词P; x (M(x)∧B(x)) 表示个体域中有个体既 满足谓词M,又满足谓词B。如，M(x):x是人， B(x):x是勇敢的， x (M(x)∧B(x)) 表示“有的个体 是人且是勇敢的” …… 此处隐藏：2330字，全部文档内容请下载后查看。喜欢就下载吧 ……