第2篇数理逻辑ch4谓词逻辑分析.pptVIP

改名原理: 若公式A中无自由变元y，那么， ?xA(x) ? ?yA(y),?xA(x) ? ?yA(y) 替换原理: 设A，D为谓词公式，C为A的子公式，且 C ? D。若B为将A中子公式C的某些出现（未必全部）替换为D后所得的公式，那么A ? B。 （1）命题公式的推广 根据代入原理，命题演算中的公式可以推广到谓词公式中。即命题演算中的等价公式表和蕴涵公式表都可以推广到谓词演算中使用。 （3）量词作用域的收缩与扩张 如果量的词作用域内有命题（命题内已经无个体变元，真假值已经确定了），则该命题可以移到量词作用域的外边。称之为量词作用域的收缩。 (?x) ( A(x)∨B ) ? (?x)A(x) ∨ B (?x) ( A(x)∧B ) ? (?x)A(x) ∧ B (?x) ( A(x)∨B ) ? (?x)A(x) ∨ B (?x) ( A(x)∧B ) ? (?x)A(x) ∧ B 命题演算中的推理规则，如P、T和CP规则等可以在谓词推理理论中应用，但在谓词推理中，某些前提与结论可能是受量词限制的，为了使用这些等价式和蕴涵式，必须在推理过程中应用“消去和添加量词的规则”，以便使谓词公式的推理过程可类似于命题演算中推理理论那样进行。常用的量词推广规则和量词消去规则如下： * 第 4 章 谓 词 逻 辑 4-1 谓词的概念与表示 4-2 命题函数与量词 4-3 谓词公式与翻译 4-4 变元的约束 第4章 谓词演算 4-5 谓词演算的等价式与蕴涵式 4-6 前束范式 4-7 谓词演算的演绎与推理理论 4-1 谓词的概念与表示 命题逻辑是一完整的语句为单位的，谓词逻辑将语句细分为“对象” 和“谓词”。对象一般是语句的主语，谓词一般是语句的谓语。 谓词演算中把一切讨论对象都称为个体，它们可以是客观世界中的具体客体，也可以是抽象的客体，诸如数字、符号等。 确定的个体常用a，b，c等到小写字母或字母串表示。a，b，c等称为常元（constants）。 不确定的个体常用字母x，y，z，u，v，w等来表示。它们被称为变元（variables）。 谓词演算中把讨论对象——个体的全体称为 个体域（domain of individuals），常用字 母D表示，并约定任何D都至少含有一个成员。 当讨论对象遍及一切客体时，个体域特称为 全总域（universe），用字母U表示。 用来指明对象的性质或对象间关系的语句成分称为谓词（），用大写字母表示谓词，用小写字母表示变元，变元之间用“，”分割。 通常把谓词所携空位的数目称为谓词的元数。表示单个客体性质的谓词是一元谓词，例如P（x）;表示两个客体之间关系的谓词是二元谓词，例如Q（x,y）;依此类推。 含空位的写法有一个明显的缺点，可读性差。因此常用变元来代替空位，它们被称为谓词命名式，简称谓词。谓词命名式不是命题。 当谓词的空位上填入个体后，便产生一个关于该个体的语句，这时它被称为谓词填式 。谓词填式是命题。 4-2 命题函数与量词 命题与谓词的关系：当谓词中的客体变元被具体客体常元确定下来（代入或赋值）以后，才成为命题，从而才有确定的真假值。 定义4-2.1 当有一个谓词，一些客体变元组成的表达式称谓简单命题函数。 据此定义，n元谓词就是n个客体变元的命题函数。 当n=0时，称为0元谓词，它本身就是一个命题。故命题就是n元谓词的特殊情况。 由一个或n个简单命题函数，以及逻辑联结词组合而成的表达式称谓复合命题函数。 量词（quantifiers） 全称量词?：指数量词“对所有的”、“每一个”、“对任意一个”等。 例如： ?xA(x), ?yP(y) 存在量词 ?：指数量词“存在一些”、“至少有一个”、“对于一些”等 。 例如： ?xA(x)、?yP(y) 由量词确定的表达式都与个体域有关，因此，在讨论带有量词的命题函数时，必须确定其个体域。 在全总个体域中，对全称量词?xH(x)可以写成 ?x（M(x)→H(x)）；对存在量词? xH(x)可以写成 ?x（M(x)∧H(x)）, M(x)为特性谓词。 我们把 A(x1,x2,…,xn) 称为谓词演算的原子公式，其中x