11谓词逻辑重点.ppt

 第二章 谓词逻辑 1. 谓词及其表示 定义1 可以独立存在的人、物、事称为个体或客体。 定义2 在谓词逻辑中，刻划个体性质和关系的谓语称为谓词。 3. 命题函数 定义3 由一个谓词和一些个体变元组成的表达式称为原子命题函数。用逻辑联结词把一个或多个原子命题函数连接而成的表达式称为复合命题函数。 在存在量化中，特性谓词常作为合取项。 定义2-7 原子谓词公式定义如下： (1) 一个命题是原子谓词公式。 (2) 一个命题变元是原子谓词公式。 (3) 由n 个个体变元 及n 元谓词所组成的命题函数也是一个原子谓词公式。 原子谓词公式简称为原子公式。 定义2-8 谓词公式定义如下： (1)一个原子公式是一个谓词公式。 (2)若A是谓词公式，则┐A 也是谓词公式。 (3)若A、B是谓词公式，则(A∧B) 、(A∨B) 、(A→B) 、(A?B) 也是谓词公式。 (4)若A是谓词公式，x是A中的个体变元，则?xA(x) 、?xA(x) 也是谓词公式。 只有有限次地运用规则(1)、(2)、(3)、(4)所得到的符号串才是谓词公式。 2．3．2谓词公式的翻译 与命题公式的翻译类似，谓词公式