TRABAJO PRÁCTICO Nº 6 Ingeniería en Informática

UNIVERSIDAD NACIONAL DE JUJY

Licenciatura en Sistemas
Facultad de Ingenieria
Fórmulas Prenexas Lógica Computacional 2018

Para transformar una fórmula del cálculo de predicados a su forma Prenexa, se aplica el algoritmo
siguiente:
1) Eliminar las conectivas ↔ y →.
2) Mover las negaciones hacia los átomos.
3) Renombrar variables si es necesario.
4) Mover Cuantificadores a la izquierda.

1. Transforme y[(A(y)  z R(z))  x T(x)]

2. Transforme z[(Q(y)  z R(z))  y (T(x)  R(x))]

3. Eliminar el cuantificador existencial de la siguiente fórmula:

(w) Q(w)  x[y[(z {P(x, y, z)  u R(x, y, z, u)}]]

4. Demostrar si las siguientes igualdades son verdaderas:

a)  ((x) F(x)) = (x)  F(x)
b) (x) F(x)  (x) H(x) = (x) [F(x)  H(x)]
c) (x) F(x)  (x) H(x) = (x) [F(x)  (x)]
d)  (x) F(x) = (x)  F(x)

5. Calcular la Fórmula Normal Prenexa (FNP) equivalente de la siguiente fórmula:

∀x ∀y ∃𝑧 𝑃(𝑥, 𝑦, 𝑧) ⋀ ∃𝑢 𝑄(𝑥, 𝑢) → ∃𝑣 𝑄(𝑦, 𝑣)

6. Obtener la Forma Normal Prenexa (FNP) equivalente de la siguiente fórmula:

¬ ∃x 𝐴(𝑥) → ∀𝑦 𝐵(𝑥, 𝑦)

7. Calcular la FNP equivalente de la siguiente fórmula:

∀x ∀y ∃𝑧 𝐴(𝑥, 𝑧) ∧ 𝐵(𝑦, 𝑧) → ∃𝑢 𝐶(𝑥, 𝑦, 𝑢)

8. Calcular la Forma Normal Prenexa (FNP) equivalente de la siguiente fórmula:

∀x A(𝑥) → ∃𝑧[𝐵(𝑤, 𝑧) → ∀𝑦 𝐶(𝑤, 𝑦)]

Profesor Adjunto: Ms. Ing. Héctor Pedro Liberatori

1
Aydante de 1º: Mg. Ing. Sebastián Figueroa