第五章谓词逻辑二.pptVIP

在命题逻辑中，原子命题是命题演算的基本单位，不再对它做进一步分解。因此，无法研究命题内部结构及命题之间内在的联系，甚至无法处理一些简单而又常见的推理过程。例如，对著名的“苏格拉底三段论”就无法判断其正确性： 凡是人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。 在命题逻辑中只能分别表示为三个原子命题，不能把第1个命题和第2命题的共同属性“人”表示出来。苏格拉底是人，所有“人”具有的共同属性“死亡”他也应该有，但在命题逻辑中无法实现。这就是命题逻辑的局限性。为了解决这个问题需要引入谓词逻辑的有关概念。;第五章 谓词逻辑; 5.1 谓词逻辑的基本概念 5.1.1 谓词及其表示 命题是一个有唯一真假值的的陈述句。陈述句主要由主语、谓语、宾语和补语组成。其中主语、谓语是句子的主要成份。 主语是谓语描述的对象，称为个体或客体。 谓语用于描述主语的性质和关系，是陈述句的主体部分。 定义5-1 可以独立存在的人、物、事称为个体或客体。 定义5-1 在谓词逻辑中，刻划个体性质和关系的谓语称为谓词。 ;例5-1：张三是大学生。 李四是大学生。 我们用大写字母S表示“是大学生”，用小写字母a、b分别表示“张三”和“李四”。上述两个命题可表示为： S（a）：张三是大学生。 S（b）：李四是大学生。 谓词可分为一元谓词和多元谓词。在命题中若谓词只联系一个客体，则称之为一元谓词。一元谓词表示客体的属性，它为直言命题形式。若谓词联系着n个客体，则称之为n元谓词。多元谓词表示客体之间的联系。;例5-2 李明比王平高。 4大于3 解： 用H表示　．．．比．．．高， G表示．．．大于．．．， 则上述谓词命题可以表示为： H（李明,王平）和G（4,3）。 不难发现，在多元谓词中，个体在谓词中出现的次序不是任意的，它将直接影响谓词命题的真值。在多元谓词公式中，个体在谓词公式出现的次序一旦约定就不能更改。 如果更改便变成不同的命题，其真值也发生变化。如上例中改为H（王平，李明）和G（3，4），变成命题“王平比李明高”和“3大于4”，其真值都为假。 ;5.1.２ 常元与变元 　　 在谓词逻辑中，表示特定个体的词称为个体常元。个体常元可以是代表个体的标识符,如a、b、c表示，也可以直接引用个体的名称。如上述例2-1中a代表“张三”，b代表“李四”；在例2-２中直接使用个体的名称，如“王平”、“李明”、“３”、“４”等。 在谓词逻辑中，用来表示未知或泛指的个体的标识符称为个体变元。其标识符常用小写字母x，y，z．．．表示。例如用Ｐ(x)表示x是素数，Q(x)表示x是有理数。Ｐ(x) 和Q(x)不是命题，只有用具体的个体取代其中的个体变元后才是命题，才有真值。; 5.1.3 命题函数及量化 (一) 命题函数 单独的谓词不是命题，在谓词后面的括号中填上代表个体的标识符所得的式子称为谓词填式， 如果在谓词填式的括号中填入的是个体常元，则该谓词填式是一个命题。在谓词填式的括号中填入的是个体变元，则称该谓词填式为命题函数。 定义5-3 由一个谓词和一些个体变元组成的表达式称为原子命题函数。用逻辑联结词把一个或多个原子命题函数连接而成的表达式称为复合命题函数。; 如上述所举例子中S（x）、D（x,y）、G（x,y）都是简单命题函数，其中x、y为个体变元。 把不含个体变元的命题函数称为0元谓词。例如，上述的D（冰,水）和G（4，3）等都是0元谓词， 0元谓词本身就是命题。 命题逻辑中的原子命题都可以用0元谓词表示，因此，可以将命题逻辑看成是谓词逻辑的特殊情况。 值得注意的是，在谓词演算中逻辑联结词的含义与命题演算中完全相同，且命题演算中的公式在谓词演算中完全适用。;例5-3将下列命题符号化： （1）有既是素数又是偶数的数。 解：令：F(x):x是素数； G(x):x是偶数； 则命题符号化为：F(x)∧G(x)。 ;（2）想要取得好成绩，除非努力学习。 解： 令： G(x):x想取得好成绩； H(x)