南邮离散数学第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　谓词演算的等价式与蕴含式 几个重要概念： ⑤在