Ejercicios de Logica de Primer Orden

Profesora: Mar
a Luisa Bonet Carbonell

1. Sea = F1; F2; :::; Fk Demostrar que los 3 enunciados siguientes son
f g

equivalentes.
(a) ` A
V
(b) ki=1 Fi A es una tautologa
!

(c) Vki=1 Fi A es una contradiccion

^:

2. Es el siguiente conjunto satisfactible?

M = P1 P2; P2
f _ : _: P3; P3 P4; P4
_ : P5 ; :::
_: g

Si es as, buscar una interpretacion que lo satisfaga.

3. Demostrar o dar contraejemplo:
(a) Si F G y F son tautologas, entonces G es tautologa
!

(b) Si F G y F son satisfactibles, entonces G es satisfactible

!

(c) Si F G es una tautologa y F es satisfactible, entonces G es

!

satisfactible
4. Demostrar o dar un contraejemplo:
(a) Si A entonces A para todo
` `

(b) Si es insatisfactible, entonces A para toda A `

(c) Si A, entonces existe una interpretacin que satisface a y a

`

A
5. Sea F G una tautologa donde F y G no contienen variables en
!

comun. Demostrar que o bien F insatisfactible o G es una tautologa

(o ambas cosas).
[Mostrar que la hipotesis de que F y G no contienen variables en comun
es necesaria].

1
 6. Sea F G. Demostrar que si F 0 y G0 son formulas obtenidas a partir


de F y G, pero cambiando las conjunciones por disyunciones, y las

disyunciones por conjunciones, entonces F 0 G0 . 

7. Buscar FNC y FND equivalente de

( A : ! B ) ((A
_ ^: C) $ B)
8. La tabla de verdad de una frmula, nos da la FND. Por que? Tambin
nos da la FNC?
9. Sea:
F = p q r; q r; p r; q r; r
f _: _ _ : _ _: : g

Determinar Resn (F ) para n = 0, n = 1 y n = 2.

10. Demostrar que para todo conjunto nito de clausulas F , existe k 0 

tal que
Resk (F ) = Resk+1 (F ) = ::: = Res(F )
11. Demostrar usando resolucion:
p q r; p q; q r; p
_ _ : _ : _ _: r p q r
` ^ ^

12. Demostrar usando resolucion:

` ( q
: ^: r s) ( q
^ _ : ^ : s) (r s) q
_ ^ _

13. Una clusula es positiva (negativa) si solo contiene literales positivos

(negativos). Demostrar que una FNC que no contiene una clusula
positiva (negativa) es satisfactible.
14. Dada la formula F = (Q(x) ( x y(P (f (x); z) Q(a)) xR(x; z;g(x)))),
_ 9 8 ^ _8

decir que subformulas son cerradas, dar el arbol de la formula, y deter-

minar que ocurrencia de cada variable es libre o ligada.
15. Demostrar que la siguiente restriccion de resolucion es completa para
la clase de formulas Horn: derivar el resolvente de dos clausulas sii una
de las dos clausulas es unitaria (tiene solo un literal).

2
 Pista: mostrar que el proceso de marcaje para formulas de Horn del
algoritmo para ver si son satisfactibles puede ser simulado en cierta
forma por aplicaciones de la regla de resolucion con clausulas unitarias.
Nota: la restriccion de que una de las dos clausulas sea unitaria hace
que el resolvente sea mas peque~no que la otra clausula. Ver que se
pueden encontrar refutaciones de forma eciente para formulas Horn.
16. Sear F = x y z(P (x; y) P (y; z) P (x; z) P (z; x)). Cuales de los
9 9 9 ^ ^ ^:

siguientes modelos satisfacen a F ?

 U = N , I (P ) = (m; n) m; n N; m < n
f j 2 g

 U = N , I (P ) = (m; m + 1) m N
f j 2 g

 U = P (N ), I (P ) = (A; B ) A; B N; A B
f j 2  g

17. Sea F una formula, y sean x1; : : :; xn las variables que ocurren libres
en F . Demostrar:
 F es valida sii x1 xnF es valida.
8


8

 F es satisfactible sii x1 xnF es satisfactible.

9


9

18. Demostrar las siguientes equivalencias:

 :9 xF x F.
 8 :

 8 xF _ G x(F G), siempre que x no ocurra libre en G.

 8 _

 9 xF ^ G x(F G), siempre que x no ocurra libre en G.

 9 ^

 8 xF ^8 xG x(F G).
 8 ^

 9 xF _9 xG x(F G).
 9 _

19. Demostrar lo siguiente usando contraejemplos:

 8 xF _8 xG 6 8x(F G). _

 9 xF ^9 xG 6 9x(F G). ^

20. Demostrar que xP (x) P (y)) es equivalente a x(P (x) P (y)).

9 ! 8 !

21. Demostrar que x yP (x; y) es consecuencia logica de u vP (v; u), pero

8 9 9 8

no al reves.
3
22. Sea M = (U; I ) un modelo, y t un termino en el que la variable x no
aparece. Entonces, M (t) = M[x=u](t) para todo u U . 2

23. Sea M = (U; I ) un modelo, y F una formula en el que la variable x no

aparece libre. Entonces, M (F ) = M[x=u](F ) para todo u U . 2

24. Sea M = (U; I ) un modelo, y F una formula en el que la variable x no

aparece libre. Entonces, M (F ) = M[x=u](F ) para todo u U . 2

25. Demostrar xF 8  y(F y=x ) donde y no aparece libre en F , y

8 f g

F y=x es libre. Ver que lo mismo es cierto para el existencial.

f g

26. Demostrar para la logica de primer orden el teorema del reemplaza-

miento: Sean F y G dos formulas tales que F G. Supongamos que


F es una subformula de la formula H . Sea H 0 la formula que consiste

en sustituir una ocurrencia de F por G en H . Entonces H H 0. 

27. Encontrar la forma normal de Skolem conjuntiva de:

z y(P (x; g(y); z)
8 9 xQ(x))
_ :8 z x R(f (x; z); z):
^ :8 9 :

28. Modica el algoritmo para encontrar la forma normal de Skolem de

tal manera que se inviertan los roles del y del . De esta manera a
8 9

partir de una formula F se obtiene una formula F 0 sin cuanticadores

universales. Demostrar que F es valida si y solo si F 0 es valida.
29. Muestra que el proceso de Skolemizacion no preserva la equivalencia
dando una formula F y un modelo M tal que M satisface a F , pero no
a la Skolemizacion de F .
30. Dada la formula x y zP (x; f (y); g(z; x)), denir dos modelos de Her-
8 8 8

brand asociados a la formula, uno que la satisfaga, y otro que la falsi-

que.
31. Dada una formula F :
F = x y(( Px Pf (a) Qy) Py ( Pg(a; x) Qa))
8 8 : _: _ ^ ^ : _:

encontrar el universo de Herbrand para F , y la expansion de Herbrand

para F . Encontrar un subconjunto nito de la expansion de F que sea
ya insatisfactible en logica proposicional, y vericar su insatisfactibili-
dad por resolucion.
4
32. Consideremos el siguiente conjunto de clausulas:
f: P (f (y; g(z)); h(b)); P (f (h(w); g(a)); v) P (f (h(b); g(z)); y)
_ g

Demostrad que a partir de el podemos obtener la clausula vacia de

dos formas diferentes. Una usando renombramiento, resolucion y fac-
torizacion, y la otra, usando la regla del resolvente. En ambos casos
especicar claramente los conjuntos de igualdades a unicar y las susti-
tuciones correspondientes.
33. En logica de primer orden con igualdad, formalizar el enunciado: \Ex-
isten cono mnimo n elementos diferentes". Ademas denir un conjunto
de formulas que tenga la siguiente propiedad: si un modelo satisface a
todas las formulas del conjunto, entonces el modelo es innito (tiene
un dominio innito). Demostrar esto ultimo.
34. Programar en Prolog el algortmo de ordenacion mergesort.