第二章修改.pptVIP

一. 谓 词 Socrates 三段论：所有的人总是要死的。 Socrates是人。 所以Socrates是要死的。 定义 谓词(predicate)：用来刻划一个个体的性质或多个个体之间关系的词，常用大写字母P, Q, R…来表示。 客体：可以独立存在的事物称为客体。 客体变元：表示抽象的、泛指的、或在一定范围内变化的个体词, 称为, 常用小写字母x, y, z…来表示。 客体变元的取值范围称为个体域(domain), 常用D表示 全总个体域：最大的个体域是包含宇宙全体事物的个体域 谓词常元：谓词表示有具体确定意义的性质或关系的谓词，否则称为谓词变元。 元数：谓词中包含个体的数目称为谓词的元数。 一元谓词/多元谓词： 0元谓词：命题是0元谓词 谓词填式：把谓词字母后填以客体所得的式子。 一元谓词表达了个体的“性质”, 而多元谓词表达了个体之间的“关系”。  解 (1) A(x): x是动物, 这里x是个体变元, 它可在动物范围内任意取值。b: 熊猫, b是个体常元, 则命题可符号化为A(b)或A(熊猫)。 对于谓词A, A(x)实际上是个体变元x的函数。 举例 (P(x)∨Q(y, z)) ? R(x, z) 是命题函数， 只有当谓词变元和客体变元取确定的真值后，才能确定此命题函数的真值。 二. 量 词  注：带有量词的命题函数必须确定其个体域, 否则无法准确表达命题含义。 特性谓词:为讨论个体域中某部分个体的性质, 就要引入刻划这部分个体性质的谓词. 全总个体域实际上就是一切事物构成的集合。而对个体变化的真正取值范围, 用特性谓词加以限制。 例 4 设F(x): x会飞, D为鸟集合。 （?x） F(x)表示所有的鸟都会飞。 练习：用谓词表达式写出下列命题： 每一个有理数是实数。 某些实数是有理数。 并非每一个实数都是有理数。 没有无理数是有理数。 三. 谓 词 公 式 谓词逻辑的翻译（步骤）: 找出原子命题之间的关系 将原子命题分解:个体、谓词、量词 找出恰当的量词： （?X） (? X) 使用恰当的联结词 举例： 今天有雨雪，有些人会跌交。 举 例 四.?变元的约束 自由变元与约束变元 举 例 至少有一个偶数是素数。 约束变元改名规则 改名/代入规则 表列出了换名规则与代入规则的主要区别: 换名规则 代入规则 对象 约束变元 自由变元 范围 一个量词及其辖域内 整个公式 结果 只能换名为另一变元, 可以代以另一变元。 而不能换名为个体常 还可代入个体常元, 元, 换名后公式的含 公式由具有普遍意 义不变。 义变成仅对该个体 常元有意义。 注： 自由变元/约束变元是针对量词而言； 约束变元仅仅在量词作用域内考虑； 量词的顺序一般情况下是不可以交换的。 量词和命题的关系 公式的解释及分类 谓词逻辑中的等价式与蕴涵式 1.命题演算公式的推广 2.含有量词的谓词演算的永真公式 3.量词的否定 4.量词辖域的扩展和收缩 5.量词的分配原则 6.量词对→及?的处理 7.关于多个量词的永真式 3.量词的否定 4.量词辖域的扩展和收缩 6.量词对→及?的处理 六 前 束 范 式 一． 前 束 范 式 2.任意谓词公式均可化为前束范式 前束合取范式和前束析取范式 八．谓词演算与推理规则 路易 卡罗尔的断言 没有鸭子喜欢跳舞，没有军官不喜欢跳舞。我家的家禽都是鸭子，因此，我家的家禽都不是军官。 1.全称指定规则 简记为US规则(UI) 消去量词 (?x)P(x) P(c) 含义：对一切x，P(x)为真,可推得任意一个确定的c， 使 P(c)为真。 例： （?x）(P(x，y) ? （?y）Q(x，y)) P(c，y) ? （?y）Q(c，y) 但 （?x）(P(x，y) ? （?y）Q(x，y) P(y，y) ? （?y）Q(y，y) 四条重要的推理规则 2.存在指定规则 简记为ES规则 消去量词 （?x）P(x) P(c) 含义：至少存在一个x使得P(x)为真.即可推得有一个确定的c,使P(c)为真 注意：选定的变元c必须是谓词公式中没有出现过的. (?y)(Q(y)?Q(x))?(?x)A(x,z) (?y)(Q(y)?Q(y))? A(y,z) 均错 (?x)(A(x,z)