第二部分谓词逻辑.ppt

第二章 谓词逻辑 2. 命题函数； 3. 谓词公式和命题的符号化； 4. 全称量词和存在量词； 5. 谓词逻辑的等价式； 6. 前束析取范式和前束合取范式； 7. 谓词逻辑的推理理论。 难点： 1. n元谓词的概念； 2. 约束变元与自由变元； 3. 用谓词对命题进行符号化 4. 前束合取范式和前束析取范式； 5. 量词与联结词的结合； 6. 谓词逻辑的等价式与推理定律； 7. 谓词逻辑推理的UG规则、UI规则、EG规则和EI规则及其应用。 2-1,2-2 一阶逻辑命题符号化---谓词的概念与表示、命题函数与量词 基本概念：主语（客体），谓词，命题函数 谓词：一元谓词，多元谓词，谓词填式。 命题函数：简单命题函数、复合命题函数 ，个体域，全总个体域，量词。 谓词：用以刻划客体的性质或关系。 谓词填式：把谓词字母后填以客体所得的式子称为谓词填式。 谓词和谓词填式是两个不同的概念。 用谓词表达命题，必须包括客体和谓词字母两个部分，一般地，“b是A”类型的命题可用A(b)表达。对于“a是小于b”这种两个客体之间的关系的命题，可表达为B(a, b), 这里B表示“是小于”。 用谓词表达命题，必须包括客体和谓词。 一元谓词：含有一个客体，通常表达客体的“性质”。 多元谓词：含有多个客体，表达了客体之间的“关系”。 2-3 一阶逻辑公式及解释 习题课 2-4 变元的约束 基本概念：量词的作用域（辖域）、约束变元与指导变元。 其它：约束变元的更名规则、自由变元的代入规则 约束变元的换名与自由变元的代入 例2 对公式x（P（x）→ R（x，y））∧Q（x，y） 进行换名。 解 对约束变元x换名为t后为 t（P（t）→ R（t，y））∧Q（x，y） 同理，对公式中的自由变元也可以更改，这种更改称作代入。 自由变元的代入规则是： (1) 对于谓词公式中的自由变元，可以代入，此时需要对公式中出现该自由变元的每一处进行代入。 (2) 用以代入的变元与原公式中所有变元的名称都不能相同。 2-5 谓词演算与等价公式 基本概念：谓词公式等价定义，永真式、永假式、可满足式 谓词演算的等价公式与蕴含式：6种情况 2-6 前束范式 基本概念：前束范式的定义,前束合取范式与前束析取范式 主要结论：Th2-6.1~Th2-6.3 2-7 谓词演算的推理理论 谓词演算推理与命题演算推理的关系：谓词演算的推理方法可以看作是命题算法推理方法的扩张 谓词演算的推理： 1)公式的使用：等价式和蕴含式 2)与命题演算使用过的规则：P、T和CP规则，但这些规则的使用必须首先消去和增加量词 3)量词的消去与增加规则：US、UG、ES、EG。 习题 问：下面推导是否严格 补充例题（3道） 解 证明： 第四次作业 * 解 解