6-学习课件第3章谓词逻辑.ppt

第三章 谓词逻辑 本章学习目标 命题逻辑中原子命题是最小的单位，不能够再进行分解，这给推理带来了很大局限性，本章引入谓词逻辑。学习关于谓词逻辑的相关概念和定理，解决实际问题。 第三章 谓词逻辑 第三章 谓词逻辑 3.1 谓词逻辑命题的符号化 定义2、谓词：用来刻画个体的性质或个体之间关系的词 一般来说，“x是A”类型的命题可以用A（x）表达。对于“x大于y”这种两个个体之间关系的命题，可表达为B（x，y），这里B表示“…大于…”谓词。我们把A（x）称为一元谓词，B（x，y）称为二元谓词，M（a，b，c）称为三元谓词，依次类推，通常把二元以上谓词称作多元谓词。 定义3 谓词中包含的个体的数目称为谓词的元数。 定义4 谓词常项：表示具体确定意义的性质或关系的谓词；谓词变项：表示泛指的抽象的性质与关系的谓词。 3.1 谓词逻辑命题的符号化 定义5：由一个谓词和若干个个体变元组成的表达式称为简单命题函数。 定义6：由有限个简单命题函数及逻辑联结词组成的命题形式，称为复合命题函数。 命题函数包含简单命题函数和复合命题函数。 [?]命题函数是命题吗？ [?]0元谓词是命题吗？ 3.1 谓词逻辑命题的符号化 二、量词 定义8：表示数量的词为量词。 (1)表示“所有、任意、一切”等的词称为全称量词，记为“? ”； ?x 表示对个体域中的所有个体，x 称为全称性变元； ?x A(x)表示个体域中的所有个体具有性质A。 (2)表示“存在、有些、至少存在一个”等的词称为存在量词，记为“?”； ?x表示存在个体域中的个体，x称为存在性变元，而?xA(x)表示存在个体域中的个体具有性质A。 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 3.1 谓词逻辑命题的符号化 注：1、这里引入了M（x），将人与其他事物区分开来，谓词M（x）被称为特性谓词，在命题符号化时，要正确使用特性谓词。 2、使用全总个体域时，对个体变元的真正取值范围，用特性谓词加以限制。 3、对全称量词后的特性谓词，应作为蕴含式的前件；对存在量词后的特性谓词，应作为合取的一项 。 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 2．约束变元的换名与自由变元的代入 （a）约束变元的换名规则：将某量词辖域中某个约束出现的个体变元及相应的指导变元改成该量词辖域中未曾出现过的个体变元，其余不变，所得公式与原公式等价。 (b)自由变元的代入规则：对公式A中某自由出现的个体变元的所有出现，用A中未曾出现过的个体变元符号代替，A中其余部分不变，所得公式与原公式等价。 注： 1、换名是对约束变元而言的，更改时量词辖域中所有出现均需要改，改为该辖域中没有出现过的符号，最好是公式中没有出现过的符号。 2、代入针对自由变元，对这个自由变元所有出现进行代入，代入的变元符号必须是公式中没有出现过的。 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 第三章 谓词逻辑 3.3 谓词逻辑约束公式的等价与蕴涵 3.3.1 谓词逻辑的等价公式 定理2 设A（x）是任意的含自由出现个体变项x的公式，B是不 含x出现的公式，则有 （1）?x（A（x）∨B）? ?x A（x）∨B （2）?x（A（x）∧B）? ?x A（x）∧B （3）?x（A（x）→ B）? ?x A（x）→ B （4）?x（B→A（x））? B → ?x A（x） （5）?x（A（x）∨B）? ?x A（x）∨B （6）?x（A（x）∧B）? ?x A（x）∧B （7）?x（A（