南邮离散数学第2章谓词逻辑.pptVIP

因而推理过程中，一般只能使用书中70页表2-5.1列的等价式或蕴含式，其余用法均是不合法的，不严格的。 2-7　谓词演算的推理理论 2-7　谓词演算的推理理论 谓词逻辑基本内容全部介绍完。 数理逻辑这一篇的基本内容包括两大部分，自己复习。 2-7　谓词演算的推理理论 * * 38。1 * 38。2 * 38。3 * 第42页，2 5、当约束变元个体域有限时，可把量词去掉。 如x 的个体域有限的，M= 2-4　变元的约束 (6)量词的次序不能随意改变。 因而今后书写一定要注意书写的次序，不能随意颠倒，约定从左到右的次序读出。 不等价 2-4　变元的约束 定义：把客体变元指定为某个体域中具体的客体，把谓词指定为某个具体的关系称为谓词公式的赋值。（赋值后就成为具有确定真值的命题。） A是一公式，包含客体变元x，谓词无确定真值，当x取定一客体a，谓词确定后，得到一确定的命题可有真值T or F，即是谓词公式的赋值。 2-5　谓词演算的等价式与蕴含式 ①可满足的：公式A，若存在一种赋值，使A的值为真，称A是可满足的 ②不可满足的：不存在一种赋值，使得A为真 对于所有的赋值，A都为假 ③永真的（有效的）：对所有赋值A都为真（对所有个体域） ④在E上有效的：设A的论域为E，若对E上的赋值，A为真，则称A在E上是有效的 2-5　谓词演算的等价式与蕴含式 几个重要概念： ⑤在E上A与B等价：A与B有共同的论域E，若对E上所有的赋值，A与B有相同的真值，即称在E上A与等价,记作 ⑥A蕴含B：若A B是永真式，则称A蕴含B，记作 1、命题演算中等价式与蕴含式的扩充： 在命题演算中，A B即A B是重言式，而对重言式，其中同一命题变元用同一公式取代时，结果仍为永真式，因而用谓词公式代替变元，得到的也是永真式。故命题演算中的等价式都可以推广到谓词演算中，蕴含式也可做类似扩充 2-5　谓词演算的等价式与蕴含式 2-5　谓词演算的等价式与蕴含式 (3)量词作用域的扩充与收缩 设B中不出现约束变元ｘ，B是一个命题，有： 2-5　谓词演算的等价式与蕴含式 另外: 2-5　谓词演算的等价式与蕴含式 另外，当B中不出现x，而包含y其他变元时，同样有： （4）量词与联结词的等价式 如 A(x)：x跳舞 B(x)：x唱歌 个体域：人类。 2-5　谓词演算的等价式与蕴含式 (5)量词与联结词的蕴含式 同上例：左边所有人都唱歌或所有人跳舞 　所有人都唱歌或跳舞，反之未必。 2-5　谓词演算的等价式与蕴含式 (6)多个量词的使用 以二元谓词为例A(x,y),两个量词不考虑自由变元，有八种情况。(即 2n×n! 种情况） 2-5　谓词演算的等价式与蕴含式 这八个公式有如下关系： 两个等价式： 如A(x,y)：x与y同姓 （i）甲村与乙村的所有人同姓； x：甲村的人 （ii）甲村与乙村有人同姓 y：乙村的人 下列蕴含式(6个)： (i) (ii) 2-5　谓词演算的等价式与蕴含式 另外： 2-5　谓词演算的等价式与蕴含式 含全称量词公式可转化为不含量词式，不含量词式可转化为存在量词的式子。如所有的猫都吃老鼠，可推出猫吃老鼠。 （书上P70表2-5的等价式蕴含式看看） 在命题演算中，常常把公式化为与之等价的范式，即合取范式或析取范式，将其进一步化为主合取范式、主析取范式，以便比较两个公式之间的关系；对于谓词演算，我们有类似的情形 ，化为与之等价的前束范式。 定义：一个公式，如果所有的量词均在公式的开头，它们的作用域延伸到整个公式的末尾，则该公式叫作前束范式。形式为： 2-6　前束范式 ※ 任一谓词公式都可化为与它等价的前束范式。 步骤：1. 消去多余量词； 2. 将公式中联结词用 来表示。 3. 利用 2-6　前束范式 将否定深入到命题变元和谓词填式前面，否定深入目的是为了将量词前置。 4. 利用换名和代入规则，使所有的约束变元均不同， 且使自由变元与约束变元也不同。 2-6　前束范式 必须先化简，最后如再有多个变元，换名，而不能先换名。 这是一种比较简单的题目，下面考虑一些复杂的。 2-6　前束范式 u r z u 2-6　前束范式 定义：若一个公式A，具有下列形式，则称为前束 合取范式。 任一公式都可以化为等价的前束合取范式 2-6　前束范式 定义：若一个公式A，具有下列形式，则称为前束 析