1. Ejercicio 6.

1
Calcular la Forma Normal Prenex (FNP) equivalente de la siguiente formula.
xy[zP(x, y, z) (uQ(x, u) vQ(y, v))]
SOLUCIN
xy[zP(x, y, z) (uQ(x, u) vQ(y, v))]
xy[zP(x, y, z) (uQ(x, u) vQ(y, v))]
xyzuv[P(x, y, z) (Q(x, u) Q(y, v))]

2. Ejercicio 6.2
Obtener la Forma Normal Prenex (FNP) equivalente de la siguiente formula.
[x(A(x) (yB(x, y)))]
SOLUCIN
[x(A(x) (yB(x, y)))]
x[(A(x) (yB(x, y)))]
x[(A(x) (yB(x, y)))]
x[(A(x) yB(x, y))]
xy[A(x) B(x, y)]

3. Ejercicio 6.3
Calcular la FNP equivalente de la siguiente formula.
xy[z(A(x, z) B(y, z)) uC(x, y, u)]
SOLUCIN
xy[z(A(x, z) B(y, z)) uC(x, y, u)]
xy[z(A(x, z) B(y, z)) uC(x, y, u)]
xy[z(A(x, z) B(y, z)) uC(x, y, u)]
xyzu[A(x, z) B(y, z) C(x, y, u)]

4. Ejercicio 6.4
Calcular la Forma Normal Prenex (FNP) equivalente de la siguiente formula.
F : xA(x) z[B(w, z) yC(w, y)]
SOLUCIN
xA(x) z[B(w, z) yC(w, y)]
xA(x) z[B(w, z) yC(w, y)]
xA(x) z[B(w, z) yC(w, y)]
xA(x) z[B(w, z) yC(w, y)]
xA(x) z[B(w, z) yC(w, y)]
xA(x) z[B(w, z) yC(w, y)]
xA(x) zy[B(w, z) C(w, y)]
xzy[A(x) (B(w, z) C(w, y))]

25. Ejercicio 6.5

Calcular la Forma Normal Prenex (FNP) equivalente de la siguiente formula.
F : A(x, y) [xB(x) yzC(x, y, z)]
SOLUCIN
A(x, y) [xB(x) yzC(x, y, z)]
A(x, y) [xB(x) yzC(x, y, z)]
A(x, y) [tB(t) yzC(x, y, z)]
A(x, y) tyz[B(t) C(x, y, z)]
A(x, y) tuz[B(t) C(x, u, z)]
tuz[A(x, y) (B(t) C(x, u, z))]

6. Ejercicio 6.6

Obtener la Forma Normal de Skolem (FNS) equivalente de la siguiente formula. F :

xyzuvw[P(x, y, z) Q(u, v) R(w)]
SOLUCIN
yzuvw[P(a, y, z) Q(u, v) R(w)]
yzv[P(a, y, z) Q(f(y, z), v) R(g(y, z, v))]

37. Ejercicio 6.7

Obtener la Forma Normal de Skolem (FNS) equivalente de la siguiente formula. F : xyz[(P(x, y)
Q(x, z)) R(x, y, z)]
SOLUCIN
xyz[(P(x, y) R(x, y, z)) (Q(x, z) R(x, y, z))]
x[(P(x, f(x)) R(x, f(x), g(x))) (Q(x, g(x)) R(x, f(x), g(x)))]

8. Ejercicio 6.8
Obtener la Forma Normal de Skolem (FNS) equivalente de la siguiente formula. F : x[(A(x, y)
yP(x, y, z)) zQ(x, z)]
SOLUCIN
x[(A(x, y) yP(x, y, z)) zQ(x, z)]
x[(A(x, y) yP(x, y, z)) zQ(x, z)]
x[(A(x, y) yP(x, y, z)) zQ(x, z)]
x[(A(x, y) yP(x, y, z)) zQ(x, z)]
x[(A(x, y) uP(x, u, z)) zQ(x, z)]
x[u(A(x, y) P(x, u, z)) tQ(x, t)]
x[ut((A(x, y) P(x, u, z)) Q(x, t))]
xut[(A(x, y) P(x, u, z)) Q(x, t)]
xut[(A(x, y) Q(x, t)) (P(x, u, z) Q(x, t))]
yxut[(A(x, y) Q(x, t)) (P(x, u, z) Q(x, t))]

yzxut[(A(x, y) Q(x, t)) (P(x, u, z) Q(x, t))]

zxut[(A(x, a) Q(x, t)) (P(x, u, z) Q(x, t))]
xut[(A(x, a) Q(x, t)) (P(x, u, b) Q(x, t))]
xu[(A(x, a) Q(x, f(x, u))) (P(x, u, b) Q(x, f(x, u)))]

9. Ejercicio 6.9
Obtener la Forma Normal de Skolem (FNS) equivalente de la siguiente formula. F : xyz[(P(x, y)
Q(x, z)) R(x, y, w)]
SOLUCIN
xyz[(P(x, y) R(x, y, w)) (Q(x, z)R(x, y, w))]
wxyz[(P(x, y) R(x, y, w)) (Q(x, z)R(x, y, w))]
xyz[(P(x, y) R(x, y, a)) (Q(x, z)R(x, y, a))]
xz[(P(x, f(x)) R(x, f(x), a)) (Q(x, z)R(x, f(x), a))]
x[(P(x, f(x)) R(x, f(x), a)) (Q(x, g(x))R(x, f(x), a))]

510. Ejercicio 6.10

Obtener la Forma Normal de Skolem (FNS) equivalente de la siguiente formula. F : x[P(x, a)
y(P(y, g(x)) z(P(z, g(x)) P(y, z)))]
SOLUCIN
x[P(x, a) y(P(y, g(x)) z(P(z, g(x)) P(y, z)))]
x[P(x, a) y(P(y, g(x)) z(P(z, g(x)) P(y, z)))]
x[P(x, a) yz(P(y, g(x)) (P(z, g(x)) P(y, z)))]
xyz[P(x, a) (P(y, g(x)) (P(z, g(x)) P(y, z)))]
xyz[(P(x, a) P(y, g(x))) (P(x, a) P(z, g(x)) P(y, z))]
xz[(P(x, a) P(f(x), g(x))) (P(x, a) P(z, g(x)) P(f(x), z))]

11. Ejercicio 6.11

Obtener la Forma Normal de Skolem (FNS) equivalente de la siguiente formula. F : x[(P(x)
y(Q(x, y) zP(z))) t(Q(x, y) R(t))]
SOLUCIN
x[(P(x) y(Q(x, y) zP(z))) t(Q(x, y) R(t))]
x[(P(x) y(Q(x, y) zP(z))) t(Q(x, y) R(t))]
x[(P(x) y(Q(x, y) zP(z))) t(Q(x, y) R(t))]
x[(P(x) y(Q(x, y) zP(z))) t(Q(x, y) R(t))]
6x[(P(x) y(Q(x, y) zP(z))) t(Q(x, y) R(t))]
x[(P(x) y(Q(x, y) zP(z))) t(Q(x, y) R(t))]
x[(P(x) yz(Q(x, y) P(z))) t(Q(x, y) R(t))]
x[yz(P(x) (Q(x, y) P(z))) t(Q(x, y) R(t))]
x[uz(P(x) (Q(x, u) P(z))) t(Q(x, y) R(t))]
xuzt[(P(x) (Q(x, u) P(z))) (Q(x, y) R(t))]
xuzt[(P(x) Q(x, u)) (P(x) P(z)) (Q(x, y) R(t))]
yxuzt[(P(x) Q(x, u)) (P(x) P(z)) (Q(x, y) R(t))]
xuzt[(P(x) Q(x, u)) (P(x) P(z)) (Q(x, a) R(t))]
xzt[(P(x) Q(x, f(x))) (P(x) P(z)) (Q(x, a) R(t))]