例给定解释如下： (a)个体域D={2,3} (b)D中特定元素a=2 (c)D中特定函数fx)为：f2)=3,f3)=2 (d)D中特定谓词Gc,y)为：G(2,2)=G2,3)=G3,2)=1 G3,3)=0.L(2,2)=L(3,3)=1,L(2,3)=L(3,2)=0. Fx)为：F2)=0,F3)=1。在I下求下列各式的值 (1)Vx(F(x)AG(x,a) (2)x(F(fx))G(,.fx)) (3)Vx yL(xv) (4)yVxL(x,y)
11 例 给定解释I如下： (a) 个体域D=｛2,3｝ (b) D 中特定元素a=2 (c) D 中特定函数f(x)为 ： f(2)=3， f(3)=2 (d) D 中特定谓词G(x,y)为 ：G(2,2)=G(2,3)= G(3,2)=1 G(3,3)=0. L(2,2)=L(3,3)=1, L(2,3)=L(3,2)=0. F(x) 为： F(2)=0， F(3)=1。在I下求下列各式的值 (1) x(F(x)G(x,a) (2) x(F(f(x))G(x, f(x)) (3) x yL(x,y) (4) yxL(x,y)
§5.2 前束范式 定义设A为一个一阶逻辑公式，若A具有如下形式 2比122x2.2心B,则称A为前束范式，其中2，(1≤i≤k 为V或]，B为不含量词的公式. 例如，x3y(Fx)-→(G0y)Hcy)) Vx-(F(x)G(x)) 是前束范式，而 Vx(Fx)-→y(G0y)Hcy) x(F(x)G(x)) 不是前束范式， 12
12 §5.2 前束范式 例如，xy(F(x)(G(y)H(x,y))) x(F(x)G(x)) 是前束范式, 而 x(F(x)y(G(y)H(x,y))) x(F(x)G(x)) 不是前束范式， 定义 设A为一个一阶逻辑公式, 若A具有如下形式 Q1 x1Q2 x2.Qk xkB, 则称A为前束范式, 其中Qi (1ik) 为或，B为不含量词的公式