第四章谓词逻辑讲述.ppt

* 谓词逻辑 * of 64 练习 试证明：所有的哺乳动物都是脊椎动物，所有偶蹄动物都是哺乳动物，牛是偶蹄动物，所以牛是脊椎动物。 令 P(x): x 是哺乳动物, Q(x): x是脊椎动物, R(x): x是偶蹄动物, S(x):x是牛. 命题符号化为： 证明 * 谓词逻辑 * of 64 * * 逻辑不仅对理解数学推理十分重要，而且在计算机科学中有许多应用。如计算机电路设计、计算机程序构造、程序正确性证明等。 * * * * * 北京理工大学 郑军 4.5 谓词演算的等价式与蕴含式 * 谓词逻辑 * of 64 定义 等价：给定任何两个谓词公式wff A 和 wff B，设它们有共同的个体域 E, 若对 A 和 B的任一组变元进行赋值，所得命题的真值相同，则称谓词公式 A 和 B 在 E 上是等价的，并记作： * 谓词逻辑 * of 64 定义 永真的(有效的): 给定任意谓词公式 wffA, 其个体域为 E, 对于 A 的所有赋值wffA都真,则称 A 在 E 上是永真的(有效的). 可满足的:一个谓词公式 wffA,若至少在一种赋值下为真,则称A是可满足的. 不可满足的:一个谓词公式wffA,若在所有赋值下都为假,则称A是不可满足的. * 谓词逻辑 * of 64 命题公式的推广 当用谓词演算中的公式代替命题演算中永真式的变元时,所得公式为有效公式. * 谓词逻辑 * of 64 量词与否定联结词之间的关系 量词前的否定,是否定被量化了的整个命题 例 设论域为人. P(x):x来上课，?P(x):x没来上课 ?xP(x):所有人都来上课 ??xP(x):不是所有人都来上课 ?x?P(x): 有人没来上课 ?xP(x):有人来上课 ??xP(x):没有人来上课 ?x?P(x): 所有人都没来上课 * 谓词逻辑 * of 64 量词与否定联结词之间的关系 并非每个人都吃面包 存在不吃面包的人 例： * 谓词逻辑 * of 64 量词与否定联结词之间的关系 设个体域中的客体变元为a1,a2,…,an，则 * 谓词逻辑 * of 64 量词作用域的扩张与收缩 * 谓词逻辑 * of 64 量词分配律 ) ( ) ( )) ( ) ( ( x xB x xA x B x A x $ ú $ ? ú $ A(x): x 唱歌，B(x): x 跳舞 * 谓词逻辑 * of 64 蕴含式 个体域为整数集合, A(x): x 是偶数，B(x): x 是奇数 * 谓词逻辑 * of 64 含有多个变元的等价式和蕴含式 ?x?yA(x,y):甲村与乙村所有人同姓 ?y?xA(x,y):乙村有一个人，甲村的人都和他同姓 ?x?yA(x,y):甲村所有人，乙村都有人和他同姓 ?y?xA(x,y):乙村与甲村有人同姓 * 谓词逻辑 * of 64 含有多个变元的等价式和蕴含式 北京理工大学 郑军 4.6 前束范式 * 谓词逻辑 * of 64 前束范式 一个公式若量词均在全式的开头,作用域延伸到整个公式,则该公式叫做前束范式. 客体变元; 没有量词的公式 例： * 谓词逻辑 * of 64 前束合(析)取范式 为原子公式及其否定。 前束合取范式 前束析取范式 * 谓词逻辑 * of 64 范式存在定理 任何一个谓词公式均有与其等价的前束范式。 任何一个谓词公式均可转为与其等价的前束合取范式。 任何一个谓词公式均可转为与其等价的前束析取范式。 * 谓词逻辑 * of 64 前束范式的求法 消去条件和双条件联结词； 把否定深入到命题变元和谓词填式的前面； 约束变元换名，自由变元代入； 把量词移到全式的最前面。 * 谓词逻辑 * of 64 例 求前束范式 变 量 换 名 * 谓词逻辑 * of 64 例 求前束范式 变 量 换 名 * 谓词逻辑 * of 64 例 求前束范式 * 谓词逻辑 * of 64 例 求前束范式 * 例 求前束范式 1. 否定深入。 2. 改名，把量词提到前面。 * 谓词逻辑 * of 64 练习 求前束范式 北京理工大学 郑军 4.7 谓词逻辑的推理理论 * 谓词逻辑 * of 64 消去(添加)量词的规则 1) 全称移去规则 US (全称指定) c 是论域中某个任意客体。 2) 全称附加规则 UG (全称推广) 3) 存在移去规则 ES (存在指定) c 是论域中使 A(c) 为真的客体. 对每个客体c，A(c)为真。 4) 存在附加规则 EG (存在推广) c 是论域中使 A(c) 为真的客体. * 谓词逻辑 * of 64 例 在命题逻辑中 P：人总是要死的 Q：苏格拉底是人 R：苏格拉底是要死的 P ? Q → R不是重言式 在谓词逻辑中 M(x): x 是