《离散数学课件》谓词逻辑2分析.ppt

* (?x)(?y)((?z)(P(x,z)∧P(y,z))→(?u)Q(x,y,u)) 解：原式 ?(?x)(?y)(?(?z)(P(x,z)∧P(y,z))∨(?u)Q(x,y,u)) ?(?x)(?y)((?z)?(P(x,z)∧P(y,z))∨(?u)Q(x,y,u)) ?(?x)(?y)((?z)(?P(x,z)∨?P(y,z))∨(?u)Q(x,y,u)) ?(?x)(?y)(?z)(?u)(?P(x,z)∨?P(y,z)∨ Q(x,y,u)) ? (?x)(?y)(?z)(?u)((P(x,z)∧P(y,z))→Q(x,y,u)) 例2 将谓词公式化为前束范式： * ?(?x)((?y)A(x,y)→ (?x)(?y)(B(x,y)∧(?y)(A(y,x)→B(x,y)))) 解：原式 ?(?x)?(?(?y)A(x,y)∨ (?x)(?y)(B(x,y)∧(?y)(A(y,x)→B(x,y) ))) ?(?x)((?y)A(x,y)∧ (?u)(?r)(?B(u,r)∨(?z)?(A(z,u)→B(u,z) ))) ?(?x)(?y)(?u)(?r)(?z) (A(x,y)∧(?B(u,r)∨?(A(z,u)→B(u,z) ))) 例3 将谓词公式化为前束范式： 例(续) 练习 ?x(F(x,y)??y(G(x,y)?H(x,z))) 解 用换名规则, 也可用代替规则, 这里用代替规则 ?x(F(x,y)??y(G(x,y)?H(x,z))) ??x(F(x,u)??y(G(x,y)?H(x,z))) ??x?y(F(x,u)?G(x,y)?H(x,z))) 注意：?x与?y不能颠倒 * 如果给定解释I：个体域为实数集，F(x,y)：x＞y。 则 ? x?yF（x，y）为真， 而?y ?xF（x，y） 意为“存在着最小实数”，是假命题. */66 二、SKOLEM标准形 定义：仅含有全称量词的前束范式称为SKOLEM标准形。 定理：任一谓词演算公式?，均可以化成相应的SKOLEM标准形, 且?为不可满足的当且仅当其SKOLEM标准形是不可满足的。 */66 SKOLEM标准形的求解算法 (1)先求谓词演算公式的前束范式； (2)按如下方法消去存在量词 ①若存在量词?x前无全称量词，则引入SKOLEM常量a，代替公式中受?x约束的变元，消去存在量词； ②若存在量词?x前有n个全称量词，则引入n元SKOLEM函数f，代替公式中受?x约束的变元，消去存在量词； (3)从左至右重复上述过程，直至公式中不含有存在量词。 */66 例4 (p46)求公式的SKOLEM标准形 ?x(X(x)?(?yY(x，y)??xZ(x))) 解：①先把公式化为前束范式 原式=?x(X(x)?(??yY(x，y)??xZ(x))) =?x(X(x)?(?y?Y(x，y)??xZ(x))) =?x(X(x)?(?y?Y(x，y)??uZ(u))) =?x?y?u(X(x)?(?Y(x，y)? Z(u))) ②化为SKOLEM标准形 原式=?y?u(X(a)?(?Y(a，y)? Z(u))) =?y(X(a)?(?Y(a，y)? Z(f(y)))) * 例5 求公式的SKOLEM标准形 G=?x?y?z?u?v?wP(x,y,z,u,v,w) 解：用a代替x， 用f(y，z)代替u， 用g(y，z，v)代替w， 得公式G的Skolem范式： ?y?z?vP(a,y,z,f(y,z),v,g(y,z,v)) 3.5.1 唯一性量词 引进唯一性量词 ?!xA(x)表示恰好有一个x使得A(x)为真 * 等价为 ?!xA(x)= ?x(A(x) ? ?y(x≠y ??A(y)) 例：将下列语句符号化 * 解：1、设A(x)表示“x是人”， B(x,y)表示“x去过y”， a:他， b：北京 ?!x(A(x) ? ?B(x,b) ?x=a) 2、设A(x)表示“x是星球”， B(