谓词逻辑II 等值演算、前束范式与推理理论.pptVIP

* 2.3 谓词逻辑等值演算 2.3.1 谓词逻辑等值式与置换规则 基本等值式 置换规则、换名规则 2.3.2 谓词逻辑前束范式 * 等值式 定义3.10 若A?B是永真式, 则称A与B是等值的, 记作 A?B, 并称A?B为等值式 基本等值式 命题逻辑中基本等值式的代换实例 如，?xF(x)??yG(y) ? ??xF(x)??yG(y) ?(?xF(x)??yG(y)) ? ??xF(x)???yG(y) 等 消去量词等值式 设D={a1,a2,…,an} ?xA(x)?A(a1)?A(a2)?…?A(an) ?xA(x)?A(a1)?A(a2)?…?A(an) * 基本等值式(续) 量词辖域收缩与扩张等值式 设A(x)是含x自由出现的公式，B中不含x的（自由或任何） 出现 关于全称量词的： ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(B?A(x))?B??xA(x) 关于存在量词的: ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(A(x)?B)??xA(x)?B ?x(B?A(x))?B??xA(x) * 基本等值式(续)