第九节谓词逻辑基础.pptVIP

第九章　谓词逻辑基础 上一章我们研究了命题逻辑，运用建立起的符号体系确实能表示命题及其间的逻辑关系，并能进行演算和推理。命题逻辑以原子命题为最小研究单位，现在我们来考察这样两个命题： “张天是大学生” “王夜是大学生”。 它们是两个原子命题，因此只能用两个不同字母如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）。