一阶逻辑等值演算与推理课件(离散数学)讲述.ppt

5.2 前束范式 ?xF(x)???xG(x) ??xF(x)??x?G(x) ??xF(x)??y?G(y) ( 换名规则 ) ??x(F(x)??y?G(y) ) ( 量词辖域扩张 ) ??x?y(F(x)??G(y)) ( 量词辖域扩张 ) * 5.2 前束范式 (3) ?xF(x)???xG(x) 解 ?xF(x)???xG(x) ??xF(x)??x?G(x) ??x(F(x)??G(x)) 或 ??x?y(F(x)??G(y)) * 5.2 前束范式 (4) ?xF(x)??y(G(x,y)??H(y)) 解 ?xF(x)??y(G(x,y)??H(y)) ??zF(z)??y(G(x,y)??H(y)) (换名规则) ??z?y(F(z)?(G(x,y)??H(y))) 或 ? ?xF(x)??y(G(t,y)??H(y)) (代替规则) ? ?x?y (F(x)?(G(t,y)??H(y))) * 5.2 前束范式 (5) ?x(F(x,y)??y(G(x,y)?H(x,z))) 解：既可用换名规则, 也可用代替规则 ?x(F(x,y)??y(G(x,y)?H