第七章谓词逻辑.pptVIP

第七章 谓词逻辑 广东工业大学计算机学院 为何引入谓词逻辑 只用命题无法描述所有的推理过程。 苏格拉底三段论： 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 众所周知，这是真命题。 命题逻辑中的求解：令 P:所有的人都是要死的， Q:苏格拉底是人， R:所以苏格拉底是要死的。 在命题逻辑中，将只能用 (P ∧ Q) ? R 表示上述命题，无法证明(P∧Q)?R 。 所以，这个简单而著名的论断就无法用命题逻辑予以推证。 为何引入谓词逻辑 命题逻辑无法精确描述苏格拉底三段论的根本原因是：P,Q,R这样的命题表示太粗略，没有把命题之间的内在联系反映出来。 要反映这种内在联系，就要对原子命题作进一步的细化，分析出其中的客体、谓词、量词等，研究它们之间的形式结构及逻辑关系，这就是谓词逻辑所研究的内容。 谓词逻辑也叫一阶逻辑。 谓词逻辑 7.1.1 谓词与命题函数 谓词 7.1.2 量词 1. 全称量词 2. 存在量词 7.1.3 谓词合式 7.1.4 约束元与自由元 改名规则 1. 谓词 [定义]个体词（客体） 命题所陈述的对象 可以是一个具体的事物 也可以是一个抽象的概念 例如： 刘德华是香港人。 自然数集是整数集的子集。 [定义]谓词 刻画个体词的性质或个体词之间的关系的词 例如： “…是香港人” 是谓词，表示个体词的性质： “…是…的子集” 是谓词，描述个体词之间的关系 个体词的分类 [定义]个体常量 表示具体的或特定的个体 一般用小写字母a、b、c等表示 [定义]个体变元 表示抽象的或泛指的个体的词 常用小写字母x、y、z等表示 例如： x是香港人。 y是z的子集。 个体域（或论述域） [定义]个体域 个体变元的取值范围。 可以是有限个体的集合 如：{a、b、c}、{计算机学院的学生} 也可以是无限个体的集合 如：实数集合、自然数集合 全总个体域： 宇宙间的一切事物和概念构成的集合。当没有特别声明时，将全总个体域作为个体域。 谓词的函数表示 谓词可用大写英文字母表示 例如： A：是香港人。 B：年轻20岁。 谓词的函数表示 用不同的个体变元取代谓词表示中要填入的个体词 例如： A(x)：x是香港人。 B(x,y)：x比y年轻20岁。 这样的函数称为(简单)命题函数（原子公式）。 复合命题函数 n元谓词元数 [定义] n元谓词 含有n个个体变元的谓词。 一元谓词表示个体词的性质 多元谓词反映个体词之间的关系 0元谓词是命题。 例如： A(x)：x是香港人。 (一元谓词) B(x,y)：x比y年轻20岁。(二元谓词) 命题函数与命题 当n?1，命题函数(n元谓词)P(x1, …, xn)不是命题，因为真值无法确定。 只有当用n 个个体词代替 x1, x2, …, xn之后，才是命题。 举例： L(x,y)：表示“x小于y”的二元谓词，它的真值不能确定。 L(2,3) 是命题“2小于3” 命题函数的定义域和值域 命题函数的定义域（个体域）： 命题函数包含的所有个体变元的取值范围。 例如： R(x): x是大学生。 x的定义域可为：所有人/某大学的所有学生/某中学的所有学生 注意：(1)定义域不同，对命题的真值有影响。 (2)若无特殊说明，个体变元的定义域为全总个体域。 命题函数的值域： 对命题函数每种可能的赋值所生成的命题的集合。 例如： x的定义域为：张三、李四 则R(x)的值域为：{张三是大学生，李四是大学生} 谓词逻辑 7.1.1 谓词与命题函数 谓词 7.1.2 量词 1. 全称量词 2. 存在量词 7.1.3 谓词合式 7.1.4 约束元与自由元 改名规则 量词的引入 为了用谓词表示若干个体词或全体个体词具有某种性质或具有某种关系，需要引入量词。 例如： (1) 某些人会跳舞； (2) 所有人都会跳舞； 量词 [定义]量词 表示数量的词 1.全称量词?: 表示任意的,所有的,每一个，凡是 ?x 表示对个体域中所有的x…… 2.存在量词?: 表示存在, 有的, 至少有一个，有些 ?x 表示在个体域中存在x…… 在?x A(x)和?x A(x)中： 紧跟量词的x称为量词的指导变元或作用变元 A称为量词的辖域或作用域 量词举例 (1) 所有的鱼都生活在水中。 F(x)：x是鱼 W(