Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicios de Logica Informatica PDF
Ejercicios de Logica Informatica PDF
(201213)
Se permite:
Esto es un resumen del texto legal (la licencia completa). Para ver una copia de esta
licencia, visite http://creativecommons.org/licenses/by-nc-sa/2.5/es/ o envie una
carta a Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.
ndice general
3. Tableros semnticos 23
3.1. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.3. Ejercicios de exmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4. Formales normales 29
4.1. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.3. Ejercicios de exmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
5. Resolucin proposicional 35
5.1. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.3. Ejercicios de exmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3
4 ndice general
9. Tableros semnticos 71
9.1. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
9.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
9.3. Ejercicios de exmenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Bibliografa 98
Introduccin
Ejercicios propuestos.
5
6 ndice general
Tema 1
1. p
2. ( p)
3. ( p q)
4. p q
5. ( p p)
6. (( p q) (q p))
7. ( p q)
Ejercicio 1.2 Definir por recursin sobre frmulas las siguientes funciones
Ejercicio 1.3 Demostrar por induccin que todas las frmulas proposicionales tienen
un nmero par de parntesis.
7
8 Tema 1. Sintaxis y semntica de la lgica proposicional
Ejercicio 1.6 Demostrar que para toda frmula F se tiene que para todo par de intepre-
taciones I1 , I2 , si I1 ( p) = I2 ( p) para todos las variables proposicionales de F, entonces
I1 ( F ) = I2 ( F ).
1. ( p q) (q r )
2. p p
Ejercicio 1.10 En cada caso, determinar todos los modelos de la frmula proposicional
correspondiente:
1. ( p q) (q p)
2. ( p q) ( p q)
3. p q
1.1. Ejercicios resueltos 9
4. p p
5. p p
6. ( p q) (q p)
7. ( p q) (q p)
Ejercicio 1.11 Demostrar que las frmulas que aparecen en la transparencia 19 del tema
1 son tautologas:
1. FF ley de identidad
2. F F ley del tercio excluso
3. ( F F ) principio de no contradiccin
4. ( F F ) F ley de Clavius
5. F ( F G) ley de Duns Scoto
6. (( F G ) F ) F ley de Peirce
7. ( F G) F G modus ponens
8. ( F G) G F modus tollens
1. Idempotencia: F F F
FF F
2. Conmutatividad: F G G F
FG GF
3. Asociatividad: F ( G H ) ( F G ) H
F (G H ) ( F G) H
4. Absorcin: F ( F G ) F
F ( F G) F
5. Distributividad: F ( G H ) ( F G ) ( F H )
F (G H ) ( F G) ( F H )
6. Doble negacin: F F.
7. Leyes de De Morgan: ( F G ) F G
( F G ) F G
10 Tema 1. Sintaxis y semntica de la lgica proposicional
Ejercicio 1.14 Determinar cules de las siguientes interpretaciones es modelo del con-
junto de frmulas S = {( p q) (q r ), q r }.
Ejercicio 1.15 Calcular los modelos de los siguientes conjuntos de frmulas y decidir
cules son consistente.
1. S1 = {( p q) (q r ), p r }
2. S2 = {( p q) (q r ), p r, r }
1. { p q, q r } |= p r
2. { p} 6|= p q
1. { F1 , . . . , Fn } |= G
2. |= F1 Fn G
3. ( F1 Fn G ) es insatisfacible
4. { F1 , . . . , Fn , G } es inconsistente
1. Si el tren llega a las 7 y no hay taxis en la estacin, entonces Juan llegar tarde a
la reunin. Juan no ha llegado tarde a la reunin. El tren lleg a las 7. Por tanto,
haban taxis en la estacin.
1.2. Ejercicios propuestos 11
Ejercicio 1.21 En una isla hay dos tribus, la de los veraces (que siempre dicen la verdad)
y la de los mentirosos (que siempre mienten). Un viajero se encuentra con tres isleos
A, B y C y cada uno le dice una frase
Ejercicio 1.23 Demostrar por induccin que todas las frmulas proposicionales tienen
el mismo nmero de parntesis izquierdos que de derechos.
1. q q p r
12 Tema 1. Sintaxis y semntica de la lgica proposicional
2. p q r s p
escribir la frmula con parntesis, construir el rbol de anlisis y determinar todas sus
subfrmulas.
Ejercicio 1.25 Definir por recursin sobre frmulas las siguientes funciones
Ejercicio 1.26 En cada caso, determinar todos los modelos de la frmula proposicional
correspondiente:
1. p (q r q)
2. q ( p p) r
3. ( p q) ( p q) p
4. ( p r ) ( p q) q
Ejercicio 1.27 Para cada uno de los siguientes pares de frmulas, decidir si son o no
equivalentes:
1. A B C y A B C
2. A ( B C ) y A B C
3. ( A B) y A B
Ejercicio 1.28 Existe un conjunto S de tres frmulas tal que de todos los subconjuntos
de S slo uno es consistente?
1. { p q} |= p q
2. { p q, r q} |= p r
1.3. Ejercios de exmenes 13
3. { p p} |= r r q
4. { p q, q p r } |= p ( p q) r
1. Si Juan es andaluz, entonces Juan es europeo. Juan es europeo. Por tanto, Juan es
andaluz.
puerta 2: en una de estas habitaciones hay una dama y en una de estas habitaciones
hay un tigre.
Sabiendo que uno de los carteles dice la verdad y el otro no, determinar la puerta que
debe de elegir el prisionero.
2. Existen frmulas vlidas tales que todas sus subfrmulas son vlidas.
1. p q, r ` q r
2. p, (q r ) ` p r
3. p q, p q r p ` r p
4. p, p q, p (q r ) ` r
5. p (q r ), p, r ` q
6. p q, q ` p
7. p q ` q p
8. q p ` p q
9. ` p p
10. ` (q r ) ((q p) ( p r ))
11. p q ` q p
12. q r ` p q p r
13. ` p (q p)
14. p q ` p q
15. p q, p q ` p
15
16 Tema 2. Deduccin natural proposicional
16. p q q p
17. p q, p q ` p q
18. p q ` p q
1. Modus tollens:
F G G
MT
F
3. Reduccin al absurdo:
F
..
.
RAA
F
1. Idempotencia: F F F
FF F
2. Conmutatividad: F G G F
FG GF
3. Asociatividad: F ( G H ) ( F G ) H
F (G H ) ( F G) H
4. Absorcin: F ( F G ) F
F ( F G) F
5. Distributividad: F ( G H ) ( F G ) ( F H )
F (G H ) ( F G) ( F H )
6. Doble negacin: F F.
7. Leyes de De Morgan: ( F G ) F G
( F G ) F G
1. p, p q ` q
2. p q, q r, p ` r
3. p (q r ), p q, p ` r
4. p q, q r ` p r
5. p (q r ) ` q ( p r )
6. p (q r ) ` ( p q) ( p r )
7. p ` q p
8. ` p (q p)
9. p q ` (q r ) ( p r )
11. ` ( p (q r )) (( p q) ( p r ))
12. ( p q) r ` p (q r )
18 Tema 2. Deduccin natural proposicional
13. p, q ` p q
14. p q ` p
15. p q ` q
16. p (q r ) ` ( p q) r
17. ( p q) r ` p (q r )
18. p q ` p q
19. ( p q) ( p r ) ` p (q r )
20. p (q r ) ` ( p q) ( p r )
21. p (q r ) ` ( p q) r
22. ( p q) r ` p (q r )
23. p ` p q
24. q ` p q
25. p q ` q p
26. q r ` ( p q) ( p r )
27. p p ` p
28. p ` p p
29. p (q r ) ` ( p q) r
30. ( p q) r ` p (q r )
31. p (q r ) ` ( p q) ( p r )
32. ( p q) ( p r ` p (q r )
33. p (q r ) ` ( p q) ( p r )
34. ( p q) ( p r ) ` p (q r )
35. ( p r ) (q r ) ` ( p q) r
36. ( p q) r ` ( p r ) (q r )
37. p ` p
2.2. Ejercicios propuestos 19
38. p ` p q
39. p q ` q p
40. p q, q ` p
41. p q, p ` q
42. p q ` ( p q)
43. p q ` ( p q)
44. ( p q) ` p q
45. p q ` ( p q)
46. p q ` ( p q)
47. ` ( p p)
48. p p ` q
49. p ` p
50. ` p p
51. ` (( p q) p) p
52. q p ` p q
53. ( p q) ` p q
54. ( p q) ` p q
55. ( p q) ` p q
56. ` ( p q) (q p)
Ejercicio 2.6 Demostrar, por deduccin natural, la correccin del siguiente argumento:
Se sabe que
Se observa un animal que tiene pelos, pezuas y rayas negras. Por tanto, el animal es una cebra.
Ejercicio 2.7 Demostrar por deduccin natural cada una de las argumentaciones vli-
das del ejercicio 1.30.
puerta 2: en una de estas habitaciones hay una dama y en una de estas habitaciones
hay un tigre.
Sabiendo que uno de los carteles dice la verdad y el otro no, demostrar por deduccin
natural que la dama est en la segunda puerta.
(E F) G ` (E G) ( F G)
2. [Examen de Septiembre de 2004]
` ( E ( F G )) ( E F ) ( E G )
3. [Examen de Abril de 2005]
a) { p r, r q} |= ( p q)
b) p q, q r ` p r
c) ` ( p q) (( p q) q)
d) ( p (q p)) q ` p
e) ( p q) ` p q
f ) ( p q) ( p r ) |= p (q r )
g) ( p1 p2) (q1 q2) ` ( p1 q1 p2 q2)
h) ( p q) ` p q
2.3. Ejercicios de exmenes 21
i) ` (( p q) ( p r )) ( p q r )
j) (( p q) ( p r )) ` q ( p r )
p (q r ) ` ( p q) r
` (( p (q r )) p) p
` ( p q) ( p r ) ( p (q r ))
a) ( p q) ( p r ) ` p r.
b) ` ( p q) (( p q) q).
c) (q p) ` p q.
d) p (r q) ` q ( p r ).
e) ( p q) ` p q.
f ) ( p q) p r ` q ( p r ).
g) ( p q) ((r q) s) ` ( p s).
h) ` ((s ( p q))) ( p q s).
` (( p q) (r s)) (( p r ) (q s))
( p r ) ( q s ) ` ( p q ) (r s )
` (q p) (q p)
22 Tema 2. Deduccin natural proposicional
Tema 3
Tableros semnticos
( p q ( p r )).
( p q ( p q)).
1. I |= F G syss I |= F e I |= G.
2. I |= F G syss I |= F I |= G.
1. ` Tab p q ( p q).
2. ` Tab p q ( p r ).
3. { p q, q r } ` Tab p r.
4. { p q} ` Tab p q.
23
24 Tema 3. Tableros semnticos
Ejercicio 3.6 Demostrar por deduccin natural las equivalencias de la notacin unifor-
me:
1. F F.
2. ( A1 A2 ) A1 A2 .
3. ( A1 A2 ) A1 A2 .
4. A1 A2 ( A1 A2 ) ( A2 A1 ).
5. B1 B2 B1 B2 .
6. ( B1 B2 ) B1 B2 .
7. ( B1 B2 ) ( B1 B2 ) ( B2 B1 ).
1. ( p q r ) ( p q r ) es una tautologa.
2. { p (q r ), r } |= r ( p q).
3. r p q p q r s.
Ejercicio 3.9 Demostrar todos los apartados de los ejercicios 8.4 y 8.5 mediante el pro-
cedimiento de los tableros semnticos.
Ejercicio 3.12 [Examen de junio de 2001] Decidir, usando tableros semnticos, si la fr-
mula
( p q p q) ( p q)
es insatisfactible o una tautologa.
Ejercicio 3.16 [Examen de junio de 2002] Probar, mediante tableros semnticos, que
(r p) (r q s) p q s
es una tautologa.
A : r s u y
B : (r s ) ( u r ).
Ejercicio 3.21 [Examen de junio de 2004] Este ejercicio tiene tres apartados.
1. Probar E ( F G ) 6|= ( E F ) G mediante tableros semnticos.
1. {r ( p q), (( p r ) (q r )) r } |= q
2. |= (( p q) r ) (q r )
1. (( p q) (q r )) (r ( p q))
2. (( p q) (q r )) (( p q) r )
Formales normales
1. ( p q) (q p).
2. ( p q) (q p).
3. ( p q) (q p).
4. ( p q) (q p).
Ejercicio 4.2 Calcular una forma normal conjuntiva de cada una de las siguientes fr-
mulas
1. ( p (q r )).
2. ( p q) (q p).
3. ( p q) r.
Ejercicio 4.3 Calcular una forma normal disjuntiva de cada una de las siguientes fr-
mulas
1. ( p (q r )).
2. ( p q ( p q)).
29
30 Tema 4. Formales normales
Ejercicio 4.5 Decidir, mediante forma normal conjuntiva, si las siguientes frmulas son
tautotologas. En el caso de de que no lo sean calcular sus contramodelos a partir de su
FNC.
1. ( p (q r )).
2. ( p q) (q p).
3. ( p q) r.
Ejercicio 4.7 Decidir, mediante forma normal disyuntiva, si las siguientes frmulas son
satisfacibles. En el caso de de que lo sean calcular sus modelos a partir de su FND.
1. ( p (q r )).
2. ( p q ( p q)).
Ejercicio 4.9 Calcular, mediante tableros semnticos, los modelos y una forma normal
disyuntiva de las siguientes frmulas
( p q ( p r )).
( p q ( p q)).
4.2. Ejercicios propuestos 31
1. ( p q) (r p) s.
2. p q s.
3. p ( p q) ( p s).
4. t q r s.
1. A B ( A B) ( B A).
2. A B A B.
3. ( A B) A B.
4. ( A B) A B.
5. A A.
6. A ( B C ) ( A B) ( A C ).
7. ( A B) C ( A C ) ( B C ).
8. A ( B C ) ( A B) ( A C ).
9. ( A B) C ( A C ) ( B C ).
1. ( p q r ).
2. ( p q r ) ( p q r ).
3. ( p r s) (r s) ( p s).
Ejercicio 4.13 Empleando una FNC o bien una FND, segn consideres ms adecuado,
decidir cules de las siguientes afirmaciones son verdaderas:
1. { p q, q s} |= s p.
2. p q q p.
Ejercicio 4.14 Determinar una FNC y una FND de la frmula F cuya tabla de verdad es
la siguiente:
p q r F
1 1 1 0
1 1 0 0
1 0 1 1
1 0 0 1
0 1 1 1
0 1 0 0
0 0 1 1
0 0 0 1
Ejercicio 4.17 [Examen de Junio de 2001] Decidir, utilizando formas normales, si la fr-
mula
( p (q r )) (r q)
es insatisfactible o una tautologa.
4.3. Ejercicios de exmenes 33
Ejercicio 4.18 [Examen de Diciembre de 2003] Utilizando una forma normal, probar
que
(t (t p)) ( p t)
es satisfactible.
Ejercicio 4.19 [Examen de Septiembre de 2004] Probar, usando formas normales, que
la frmula
( E ( F G )) ( E F ) ( E G )
es una tautologa.
Ejercicio 4.21 [Examen de Abril de 2005] Calcular una forma normal conjuntiva de la
frmula F sabiendo que est compuesta con las tres variables p, q y r y que, para toda
interpretacin I, se tiene que
1, si I ( p) = I (q r )
I ( F) =
0, en caso contrario
Ejercicio 4.22 [Examen de Abril de 2005] Calcular una forma normal disyuntiva de A
y una forma normal conjuntiva de A siendo A la frmula cuya tabla de verdad es
p q r A
1 1 1 1
1 1 0 0
1 0 1 0
1 0 0 0
0 1 1 0
0 1 0 1
0 0 1 0
0 0 0 0
Ejercicio 4.23 [Examen de Diciembre de 2005] Demostrar o refutar las siguientes pro-
posiciones:
1. Sean G1 una forma normal disyuntiva de F1 y G2 una forma normal disyuntiva de
F2 . Si F1 y F2 son equivalentes, entonces G1 y G2 son frmulas iguales.
Resolucin proposicional
1. ( p (q r )).
2. p q.
3. ( p q) r.
4. r (q p).
Ejercicio 5.3 Demostrar o refutar: Si dos frmulas son distintas, sus formas clausales
son distintas.
35
36 Tema 5. Resolucin proposicional
1. {{ p, q}, { p, q}}.
1. { F1 , . . . , Fn } |= G.
2. { F1 , . . . , Fn G } es inconsistente.
3. S1 Sn S es inconsistente.
Ejercicio 5.11 Construir una refutacin por resolucin del conjunto de clusulas
{{ p, q}, { p, q}, { p, q}, { p, q}}.
Ejercicio 5.12 Demostrar por resolucin la frmula p q a partir del conjunto de fr-
mulas { p q, p q}.
5.1. Ejercicios resueltos 37
Ejercicio 5.16 Construir el grafo de resolucin por saturacin simplificada de los si-
guientes conjuntos y, a partir del grafo, hallar una refutacin o un modelo del conjunto.
Ejercicio 5.20 Demostrar, mediante resolucin lineal, la correccin del siguiente argu-
mento:
Se sabe que
Se observa un animal que tiene pelos, pezuas y rayas negras. Por tanto, el animal es una cebra.
1. ( p (q r )) ( p q) ( p r ) es una contradiccin.
2. { p q, q p r } |= p (( p q) r ).
1. { p q r, p q, q r, r, p r } es consistente.
2. { p q, p q, p q, p q r, r s} es consistente.
3. { p q r, p r, q r } |= r.
Ejercicio 5.24 Ash, Misty y Brock han organizado una batalla entre sus Pokemon. Se
conocen los siguientes datos al respecto:
(a) Uno, y slo uno, de los siguientes Pokemon fue el vencedor: Pikachu, Bulbasaur,
Togepi, Starmie, Vulpix y Onix.
(c) Si o bien Togepi o bien Starmie fue el vencedor, Misty gan la batalla.
5.2. Ejercicios propuestos 39
(i) Si Vulpix fue derrotado, Togepi y Onix tambin corrieron la misma suerte.
Se pide:
Ejercicio 5.27 Demostrar por resolucin cada una de las argumentaciones vlidas del
ejercicio 1.30.
puerta 2: en una de estas habitaciones hay una dama y en una de estas habitaciones
hay un tigre.
Sabiendo que uno de los carteles dice la verdad y el otro no, demostrar mediante reso-
lucin que la dama est en la segunda puerta.
40 Tema 5. Resolucin proposicional
Ejercicio 5.31 [Examen de septiembre de 2001] Probar, por resolucin, que la siguiente
frmula es una tautologa: ( p r ) ((q r ) ( p q r ))
Ejercicio 5.33 [Examen de septiembre de 2002] Probar, mediante resolucin lineal, que
la frmula
r s u
es consecuencia lgica de
U = {q r s, r q t, q p, t u, u s, p}.
Ejercicio 5.34 [Examen de septiembre de 2003] Probar, mediante resolucin por entra-
das, que
(s p) (t q) |= (s q) (t p).
Ejercicio 5.39 [Examen de aabril de 2006] Juan est matriculado en tres asignaturas,
lgebra, Lgica y Dibujo. Juan comenta que
5.3. Ejercicios de exmenes 41
Ejercicio 6.3 Reducir, aplicando eliminacin unitaria, el conjunto {{ p, q, r }, { p, q}, { p}, {r, u}}.
Ejercicio 6.5 Reducir, aplicando eliminacin de literales puros, el conjunto {{ p, q}, { p, q}, {r, q}, {r,
Ejercicio 6.6 Sea L un literal del conjunto de clusulas S. Demostrar que las siguientes
condiciones son equivalentes:
1. S es consistente,
2. (S { L}) (S { Lc }) es consistente,
Ejercicio 6.7 Decidir, mediante el algoritmo DPLL, si los siguientes conjuntos de clu-
sulas son consistentes:
2. {{ p, q}, {q}, {r }}
43
44 Tema 6. Algoritmos para SAT. Aplicaciones
Ejercicio 6.8 En una isla hay dos tribus, la de los veraces (que siempre dicen la verdad)
y la de los mentirosos (que siempre mienten). Un viajero se encuentra con tres isleos
A, B y C y cada uno le dice una frase
Ejercicio 6.9 Disponemos de una base de conocimiento compuesta de reglas sobre cla-
sificacin de animales y hechos sobre caractersticas de un animal.
Ejercicio 6.10 Decidir si es posible colorear los vrtices de un pentgono de rojo o azul
de forma que los vrtices adyacentes tengan colores distintos.
Ejercicio 6.11 Decidir si es posible colorear los vrtices de un pentgono de rojo, azul o
negro de forma que los vrtices adyacentes tengan colores distintos.
Ejercicio 6.12 Cuatro palomas comparten tres huecos. Decidir si es posible que no haya
dos palomas en el mismo hueco.
Ejercicio 6.14 Calcular las formas de colocar 4 reinas en un tablero de 4x4 de forma que
no haya ms de una reina en cada fila, columna o diagonal.
Nota: Usar la siguiente simbolizacin: cij (1 i, j 4) para indicar que hay una
reina en la fila i columna j.
Ejercicio 6.15 Probar el caso ms simple del teorema de Ramsey: entre seis personas
siempre hay (al menos) tres tales que cada una conoce a las otras dos o cada una no
conoce a ninguna de las otras dos.
Nota: Usar la siguiente simbolizacin:
1. ( p (q r )).
2. ( p q) (q p).
3. ( p q) r.
Ejercicio 6.17 Decidir, mediante DPLL, si las siguientes frmulas son satisfacibles. En
el caso de de que lo sean extraer un modelo del clculo.
1. ( p (q r )).
2. ( p q ( p q)).
3. ( p q ( p r )).
4. ( p q ( p q)).
1. ( p q r ).
2. ( p q r ) ( p q r ).
3. ( p r s) (r s) ( p s).
Ejercicio 6.19 Decidir, mediante DPLL, cules de las siguientes afirmaciones son verda-
deras:
1. { p q, q s} |= s p.
2. p q q p.
3. { p (q r ), r q} |= r q.
4. { p q, q ( p q), p r } |= q r.
Ejercicio 6.20 Ash, Misty y Brock han organizado una batalla entre sus Pokemon. Se
conocen los siguientes datos al respecto:
(a) Uno, y slo uno, de los siguientes Pokemon fue el vencedor: Pikachu, Bulbasaur,
Togepi, Starmie, Vulpix y Onix.
(c) Si o bien Togepi o bien Starmie fue el vencedor, Misty gan la batalla.
(i) Si Vulpix fue derrotado, Togepi y Onix tambin corrieron la misma suerte.
Ejercicio 6.21 Decidir, mediante DPLL, la validez de cada una de las argumentaciones
del ejercicio 1.30.
Tema 7
Ejercicio 7.2 Para representar el mundo de los bloque se parte de los siguientes predi-
cados primitivos:
Ejercicio 7.3 Otra representacin del mundo de los bloques se basa en los conceptos
primitivos:
47
48 Tema 7. Sintaxis y semntica de la lgica de primer orden
1. La Tierra es un planeta.
2. La Luna no es un planeta.
3. La Luna es un satlite.
Ejercicio 7.5 Decidir si las siguientes expresiones son trminos en el lenguaje de la arit-
mtica:
Ejercicio 7.6 Decidir si las siguientes expresiones son trminos en el lenguaje del mun-
do de los bloques:
1. superior(superior(c)).
2. libre(superior(c)).
Ejercicio 7.7 Decidir si las siguientes expresiones son frmulas atmicas en el lenguaje
de la aritmtica:
2. +( x, y) = ( x, y).
Ejercicio 7.8 Decidir si las siguientes expresiones son frmulas atmicas en el lenguaje
del mundo de los bloques:
1. libre(superior(c)).
2. tope(c) = superior(b).
Ejercicio 7.9 Decidir si las siguientes expresiones son frmulas en el lenguaje de la arit-
mtica:
1. x y < ( x, y)
2. x y + ( x, y).
50 Tema 7. Sintaxis y semntica de la lgica de primer orden
Ejercicio 7.10 Decidir si la siguiente expresin es una frmula en el lenguaje del mundo
de los bloques:
1. x ( R( x, c) P( f (y))).
2. x ( R( a, c) P( f (y))).
Ejercicio 7.14 Determinar las ocurrencias libres y ligadas de las variables de las siguien-
tes frmulas:
2. xR( x, y) yP(y)
3. x ( P( x ) yR( x, y)).
4. P( x ) R( x, y)
2. x ( P( x ) yR( x, y)).
3. z( P( x ) R( x, y)).
1. x ( P( x ) yR( x, y)).
2. xR( x, y) yP(y).
constante: 0;
I1 = (U1 , I1 ) con
U1 = N
I1 (0) = 0
I1 (s) = {(n, n + 1) : n N} (sucesor)
I1 (+) = {( a, b, a + b) : a, b N} (suma)
I1 () = {(n, m) : n, m N, n m}
I2 = (U2 , I2 ) con
U2 = {0, 1} (cadenas de 0 y 1)
I2 (0) = e (cadena vaca)
I2 (s) = {(w, w1) : w {0, 1} } (siguiente)
I2 (+) = {(w1 , w2 , w1 w2 ) : w1 , w2 {0, 1} } (concatenacin)
I2 () = {(w1 , w2 ) : w1 , w2 {0, 1} , w1 es prefijo de w2 } (prefijo)
I3 = (U3 , I3 ) con
U3 = { abierto, cerrado }
I3 (0) = cerrado
I3 (s) = {( abierto, cerrado ), (cerrado, abierto )}
e I3 (s)(e)
abierto cerrado
cerrado abierto
I3 (+) = { ( abierto, abierto, abierto ), ( abierto, cerrado, abierto ),
(cerrado, abierto, abierto ), (cerrado, cerrado, cerrado )}
I3 (+) abierto cerrado
abierto abierto abierto
cerrado abierto cerrado
I3 () = { ( abierto, abierto ), (cerrado, abierto ), (cerrado, cerrado )}
I3 () abierto cerrado
abierto 1 0
cerrado 1 1
1. I1 con la asignacin A( x ) = 3.
a) U = Z e I ( R) = <
b) U = N e I ( R) = <
a) U = N e I ( R) =
b) U = N e I ( R) =
Ejercicio 7.22 Determinar si las siguientes frmulas son vlidas, satisfacibles o insatis-
facibles:
1. xP( x ) x P( x ).
7.1. Ejercicios resueltos 53
2. xP( x ) x P( x ).
3. xP( x ) x P( x ).
2. I = (N, I ), R I = <, f I = +, A( x ) = 0.
2. S = { P( x ) Q( x ), yP(y), Q( x )}.
2. P(y) |= xP( x ).
6. { P(c), P(d)} |= c 6= d.
54 Tema 7. Sintaxis y semntica de la lgica de primer orden
1. x z [ P( x, y) P( x, z) x ( P(y, z) Q( x, y))]
2. x z [ P( x, y) R( x, z) y ( P(y, z) R( x, y))]
Ejercicio 7.30 Sea L un lenguaje de primer orden con dos smbolos de predicado, P (de
aridad 1), Q (de aridad 2) y un smbolo de funcin, f , de aridad 1. Sea I = (U, I ) la
estructura dada por:
U = { a, b, c, d};
I ( P) = { a, b},
1. P( x ) yQ(y, x ).
2. xQ( f ( x ), x ).
3. Q( f ( x ), x ) Q( x, x ).
4. Q( x, y) P( x ).
1. { Q( x ), x [ Q( x ) R( x )], x R( x )}
2. { xP( x, y), x P( x, x )}
3. { xP( x ) xQ( x )} |= x [ P( x ) Q( x )]
7.2. Ejercicios propuestos 55
4. { P( x ) Q( f ( x ))} |= P( x ) Q( x )
F1 := x [ f ( x ) 6= a],
F2 := x y[ f ( x ) = f (y) x = y],
F3 := x [ x 6= a y[ f (y) = x ]].
Probar que ninguna de estas frmulas es consecuencia lgica de las dos restantes.
Ejercicio 7.34 Formalizar las siguientes argumentaciones; es decir, para cada argumen-
tacin, determinar la simbolizacin y formalizarla en lgica de primer orden. Escribir
las formalizaciones en APLI2 y demostrar en APLI2 las argumentaciones vlidas.
1. Existe una persona en la Feria tal que si dicha persona paga, entonces todas las
personas pagan.
3. Hay estudiantes inteligentes y hay estudiantes trabajadores. Por tanto, hay estu-
diantes inteligentes y trabajadores.
4. Todos los participantes son vencedores. Hay como mximo un vencedor. Hay co-
mo mximo un participante. Por lo tanto, hay exactamente un participante.
5. Todo aquel que entre en el pas y no sea un VIP ser cacheado por un aduanero.
Hay un contrabandista que entra en el pas y que solo podr ser cacheado por
contrabandistas. Ningn contrabandista es un VIP. Por tanto, algn aduanero es
contrabandista.
6. Juan teme a Mara. Pedro es temido por Juan. Luego, alguien teme a Mara y a
Pedro.
7. Los hermanos tienen el mismo padre. Juan es hermano de Luis. Jorge es padre de
Luis. Por tanto, Jorge es padre de Juan.
11. Ningn aristcrata debe ser condenado a galeras a menos que sus crmenes sean
vergonzosos y lleve una vida licenciosa. En la ciudad hay aristcratas que han
cometido crmenes vergonzosos aunque su forma de vida no sea licenciosa. Por
tanto, hay algn aristcrata que no est condenado a galeras.
12. Todo individuo que est conforme con el contenido de cualquier acuerdo inter-
nacional lo apoya o se inhibe en absoluto de asuntos polticos. Cualquiera que
se inhiba de los asuntos polticos, no participar en el prximo referndum. To-
do espaol, est conforme con el acuerdo internacional de Maastricht, al que sin
embargo no apoya. Por tanto, cualquier individuo o no es espaol, o en otro ca-
so, est conforme con el contenido del acuerdo internacional de Maastricht y no
participar en el prximo referndum.
13. Toda persona pobre tiene un padre rico. Por tanto, existe una persona rica que
tiene un abuelo rico.
14. Todo lo existente tiene una causa. Luego hay una causa de todo lo existente.
15. Todo deprimido que estima a un submarinista es listo. Cualquiera que se estime
a s mismo es listo. Ningn deprimido se estima a s mismo. Por tanto, ningn
deprimido estima a un submarinista.
16. Todos los robots obedecen a los amigos del programador jefe. Alvaro es amigo del
programador jefe, pero Benito no le obedece. Por tanto, Benito no es un robot.
a) Hay algn pez x que para cualquier pez y, si el pez x no se come al pez y
entonces existe un pez z tal que z es un tiburn o bien z protege al pez y.
b) No hay ningn pez que se coma a todos los dems.
c) Ningn pez protege a ningn otro.
18. Supongamos conocidos los siguientes hechos acerca del nmero de aprobados de
dos asignaturas A y B:
19. En cierto pas oriental se ha celebrado la fase final del campeonato mundial de ft-
bol. Cierto diario deportivo ha publicado las siguientes estadsticas de tan magno
acontecimiento:
A todos los porteros que no vistieron camiseta negra les marc un gol algn
delantero europeo.
Algn portero jug con botas blancas y slo le marcaron goles jugadores con
botas blancas.
Ningn portero se marc un gol a s mismo.
Ningn jugador con botas blancas visti camiseta negra.
Tenemos los siguientes miembros de la familia Pelez: Don Antonio, Don Luis,
Antoito y Manolito y sabemos que Don Antonio y Don Luis son hermanos, An-
toito y Manolito son hermanos, y Antoito es hijo de Don Antonio. Por tanto,
Don Luis no es el padre de Manolito.
58 Tema 7. Sintaxis y semntica de la lgica de primer orden
21. Si uno de los miembros del club afeita a algn otro (incluido a s mismo), entonces
todos los miembros del club lo han afeitado a l (aunque no necesariamente al mis-
mo tiempo). Guido, Lorenzo, Petruccio y Cesare pertenecen al club de barberos.
Guido ha afeitado a Cesare. Por tanto, Petruccio ha afeitado a Lorenzo.
22. Carlos afeita a todos los habitantes de Las Chinas que no se afeitan a s mismo
y slo a ellos. Carlos es un habitante de las Chinas. Por consiguiente, Carlos no
afeita a nadie.
23. Quien desprecia a todos los fanticos desprecia tambin a todos los polticos. Al-
guien no desprecia a un determinado poltico. Por consiguiente, hay un fantico
al que no todo el mundo desprecia.
24. Slo hay un sofista que ensea gratuitamente, y ste es Scrates. Scrates argu-
menta mejor que ningn otro sofista. Platn argumenta mejor que algn sofista
que ensea gratuitamente. Si una persona argumenta mejor que otra segunda, en-
tonces la segunda no argumenta mejor que la primera. Por consiguiente, Platn
no es un sofista.
25. Todos los filsofos se han preguntado qu es la filosofa. Los que se preguntan qu
es la filosofa se vuelven locos. Nietzsche es filsofo. El maestro de Nietzsche no
acab loco. Por tanto, Nietzsche y su maestro son diferentes personas.
26. El hombre puro ama todo lo que es puro. Por tanto, el hombre puro se ama a s
mismo.
27. Ningn socio del club est en deuda con el tesorero del club. Si un socio del club
no paga su cuota est en deuda con el tesorero del club. Por tanto, si el tesorero
del club es socio del club, entonces paga su cuota.
28. Los caballos son animales. Por tanto, las colas de caballo son colas de animales.
29. Los padres son mayores que los hijos. Juan es el padre de Luis. Por tanto, Juan es
mayor que Luis.
31. Juan y Jaime tienen el mismo padre. La madre de Mara es Mnica. Mnica ama a
Pedro. Pedro es el padre de Jaime. Por tanto, la madre de Mara ama al padre de
Juan.
32. Si dos personas son hermanos, entonces tienen la misma madre y el mismo padre.
Juan es hermano de Luis. Por tanto, la madre del padre de Juan es la madre del
padre de Luis.
7.2. Ejercicios propuestos 59
33. Todos los miembros del claustro son asturianos. El secretario forma parte del
claustro. El seor Martnez es el secretario. Por tanto, el seor Martnez es astu-
riano.
34. Eduardo pudo haber visto al asesino. Antonio fue el primer testigo de la defensa.
O Eduardo estaba en clase o Antonio dio falso testimonio. Nadie en clase pudo
haber visto al asesino. Luego, el primer testigo de la defensa dio falso testimonio.
35. La luna hoy es redonda. La luna de hace dos semanas tena forma de cuarto cre-
ciente. Luna no hay ms que una, es decir, siempre es la misma. Luego existe algo
que es a la vez redondo y con forma de cuarto creciente.
36. Juana slo tiene un marido. Juana est casada con Toms. Toms es delgado y
Guillermo no. Luego, Juana no est casada con Guillermo.
37. Sultn no es Chitn. Sultn no obtendr un pltano a menos que pueda resolver
cualquier problema. Si el chimpanc Chitn trabaja ms que Sultn resolver pro-
blemas que Sultn no puede resolver. Todos los chimpancs distintos de Sultn
trabajan ms que Sultn. Por consiguiente, Sultn no obtendr un pltano.
38. Rosa ama a Curro. Paco no simpatiza con Ana. Quien no simpatiza con Ana ama a
Rosa. Si una persona ama a otra, la segunda ama a la primera. Hay como mximo
una persona que ama a Rosa. Por tanto, Paco es Curro.
39. Soy hijo nico. El padre de Gutirrez es el hijo de mi padre. Luego, yo soy el padre
de Gutirrez.
40. La sal y el azcar son blancos. La sal no es azcar. Por tanto, nada es blanco.
41. Quien mucho abarca poco aprieta. Slo ser lder quien aprieta poco. Juan abarca
mucho porque ha estudiado cuatro carreras. El mayor de los hermanos es un lder.
Luego, Juan no es el mayor de los hermanos.
42. Nadie sino Enrique y el cajero tena una llave. Alguien que tena una llave cogi
la maleta. Por tanto, Enrique o el cajero tomaron la maleta.
43. El gestor que contrat a Juan slo contrata licenciados con sobresaliente. Por tanto,
Juan era un licenciado con sobresaliente.
44. Scrates era el maestro de Platn. Scrates tuvo, a lo sumo, un discpulo. Arist-
teles fue discpulo de alguien cuyo maestro fue Scrates. Por consiguiente, Platn
fue el maestro de Aristteles.
46. Todos tiene exactamente un padre. Luego, todos tienen exactamente un abuelo
paterno.
47. Todos tiene exactamente dos progenitores. Por tanto, todos tienen exactamente
cuatro abuelos.
49. Alguien que vive en la casa del crimen ha asesinado a la ta gata. gata, el ma-
yordomo y Carlos viven en la casa del crimen y son las nicas personas que viven
en la casa del crimen. Un asesino siempre odia a sus vctimas, y nunca es ms rico
que su vctima. Carlos no odia a nadie de los que odia la ta gata. gata odia a
todos excepto al mayordomo. El mayordomo odia a los que no son ms rico que
la ta gata. El mayordomo odia a todos los que odia la ta gata. Nadie odia a
todos. Por tanto, gata se ha suicidado.
50. (Schuberts Steamroller) Los lobos, zorros, pjaros, orugas y caracoles son animales
y existen algunos ejemplares de estos animales. Tambin hay algunas semillas y
las semillas son plantas. A todo animal le gusta o bien comer todo tipo de plantas o
bien le gusta comerse a todos los animales ms pequeos que l mismo que gustan
de comer algunas plantas. Las orugas y los caracoles son mucho ms pequeos
que los pjaros, que son mucho ms pequeos que los zorros que a su vez son
mucho ms pequeos que los lobos. A los lobos no les gusta comer ni zorros ni
semillas, mientras que a los pjaros les gusta comer orugas pero no caracoles. Las
orugas y los caracoles gustan de comer algunas plantas. Luego, existe un animal
al que le gusta comerse un animal al que le gusta comer semillas.
S = { x [ Q( x ) R( x )],
x y[ P( x, y) P(y, x )],
x P( x, x ),
x [ P( f ( x ), x ) Q( f ( x ))],
x [ R( x ) P( x, f ( x ))],
Q( f ( a))}
Construir razonadamente un modelo I de S cuyo universo sea U = {1, 2, 3, 4, 5}.
Ejercicio 7.37 [Examen de Junio de 2004] Sea L un lenguaje de primer orden con un
smbolo de predicado, Q (de aridad 2) y un smbolo de funcin, f (de aridad 1). Se
considera la estructura I dada por: Universo: { a, b}, Q I = {( a, b), (b, a)}, f I ( a) = a y
f I (b) = a. Decidir cules de las siguientes frmulas se satisfacen en la estructura:
1. x [ Q( f ( x ), x ) Q( x, x )]
2. x [ Q( f ( x ), x ) Q( x, x )]
Ejercicio 7.38 [Examen de Septiembre de 2004] Sea L un lenguaje de primer orden con
un smbolo de predicado P de aridad 2.
a) x yP( x, y) x yP( x, y)
b) x yP( x, y) x yP( x, y)
c) [ x yP( x, y) x yP( x, y)]
Ejercicio 7.39 [Examen de Septiembre de 2006] Demostrar o refutar las siguientes pro-
posiciones:
1. a.
2. w.
3. h( a, x, w).
4. f ( x, y).
5. h( a, f ( x, y), w).
1. ( x ( Q( x ) R( x, y))).
2. ( Q( x ) x R( x, y)).
3. ( x ( Q( x ) y R( x, y))).
Ejercicio 8.3 Decidir si la sustitucin es libre para la frmula F en cada uno de los
siguientes casos:
2. es [y/g(y)] y F es x ( P( x ) Q( x, f (y))).
3. es [y/g( x )] y F es x ( P( x ) Q( x, f (y))).
63
64 Tema 8. Deduccin natural de primer orden
1. P(c),
x [ P( x ) Q( x )]
` Q(c)
2. x [ P( x ) Q( x )],
xP( x )
` x Q( x )
3. xP( x )
` xP( x )
4. x [ P( x ) Q( x )],
xP( x )
` xQ( x )
5. x [ Q( x ) R( x )],
x [ P( x ) Q( x )]
` x [ P( x ) R( x )]
6. xP( x ),
x y[ P( x ) Q(y)]
` yQ(y)
7. ` xP( x ) x P( x )
8. ` x [ P( x ) Q( x )] xP( x ) xQ( x )
9. ` xP( x ) xQ( x ) x [ P( x ) Q( x )]
1. x [ P( x ) Q( x )]
` xP( x ) xQ( x )
2. x P( x )
` xP( x )
3. xP( x )
` yP(y)
8.2. Ejercicios propuestos 65
4. x [ P( x ) Q( x )]
` x Q( x ) x P( x )
5. x [ P( x ) Q( x )]
` x [ P( x ) Q( x )]
6. x yP( x, y)
` uvP(u, v)
7. x yP( x, y)
` uvP(u, v)
8. x yP( x, y)
` y xP( x, y)
9. x [ P( a) Q( x )]
` P( a) xQ( x )
10. P( a) xQ( x ),
` x [ P( a) Q( x )]
11. xP( x ) Q( a)
` x [ P( x ) Q( a)]
12. x [ P( x ) Q( a)],
` x [ P( x ) Q( a)]
14. x [ P( x ) Q( x )]
` xP( x ) xQ( x )
15. x y[ P(y) Q( x )]
` yP(y) xQ( x )
16. x P( x ),
` xP( x )
17. x P( x )
` xP( x )
18. xP( x )
` x P( x )
66 Tema 8. Deduccin natural de primer orden
19. P( a) xQ( x )
` x [ P( a) Q( x )]
21. x [ P( x ) Q( x )],
x Q ( x ),
x [ R( x ) P( x )]
` x R( x )
22. x [ P( x ) ( Q( x ) R( x ))],
x [ P( x ) R( x )]
` x [ P( x ) Q( x )]
23. x y[ R( x, y) R(y, x )]
` x yR( x, y)
1. t1 = t2 ,
t2 = t3
` t1 = t3
2. t1 = t2
` t2 = t1
3. P( a)
` x (( x = a) P( x ))
4. x y( R( x, y) R(y, x ))
xR( x, x )
` x y( x = y)
5. xP( a, x, x ),
x yz( P( x, y, z) P( f ( x ), y, f (z))
` P( f ( a), a, f ( a)
6. xP( a, x, x ),
x yz( P( x, y, z) P( f ( x ), y, f (z))
` zP( f ( a), z, f ( f ( a)))
8.3. Ejercicios de exmenes 67
7. yQ( a, y),
x y( Q( x, y) Q(s( x ), s(y))
` z( Q( a, z) Q(z, s(s( a))))
Ejercicio 8.7 Demostrar por deduccin natural cada una de las argumentaciones vli-
das del ejercicio 7.34.
2. x [ P( x ) Q( x )]
` xP( x ) xQ( x )
3. x [ R( x ) Q( x )],
x [ P( x ) Q( x )]
` x [ P( x ) R( x )]
4. x [ P( x ) Q( x )],
y[ P(y) R(y)]
` x [ R( x ) Q( x )]
5. xR( x, x ),
x yz[ R( x, y) R(y, z) R( x, z)]
` x y[ R( x, y) R(y, x )]
6. x y[ R( x, y) R(y, x )]
` x yR( x, y)
7. x [ P( x ) yQ(y)],
` x y[ P( x ) Q(y)]
8. x [ P( x ) C ( x )],
x [C ( x ) B( x )]
` x [ B( x ) P( x )]
9. x y[ P( x ) Q(y)]
` x [ P( x ) yQ(y)]
10. x [ P( x ) Q( a)]
` xP( x ) Q( a)
68 Tema 8. Deduccin natural de primer orden
11. xP( x ),
x [ P( x ) Q( x ) R( x )],
x Q( x )
` xR( x )
13. xP( x )
` x P( x )
19. x [ P( x ) yQ(y)]
` x y[ P( x ) Q(y)]
24. P( a) x R( x ),
` x [ R( x ) P( a)]
27. x [ Q( x ) R( x )],
x [ P( x ) Q( x ) S( x )],
x [ P( x ) R( x )]
` x [ P( x ) S( x )]
28. x [ P( x ) ( R( x ) S( x ))],
x [ P( x ) R( x )]
` x [ R( x ) S( x )]
Si todo el que estudia aprueba, entonces todo el que estudia recibe un regalo.
Tableros semnticos
1. { xQ( x ), x ( Q( x ) R( x )), x R( x )}
2. { P(0), x ( P( x ) P( f ( x )))}
5. {y xP( x, y), x P( x, x )}
6. { x yP( x, y), x P( x, x )}
71
72 Tema 9. Tableros semnticos
Ejercicio 9.4 Decidir, mediante tableros semnticos, si se verifican las siguientes rela-
ciones de consecuencia:
3. { xP( x ) xQ( x )} |= x ( P( x ) Q( x ))
4. { x ( P( x ) Q( x ))} |= x P( x ) x Q( x )
5. { x ( P( x ) Q( f ( x )))} |= x ( P( x ) Q( x ))
1. x ( P( x ) Q( x )) xP( x ) xQ( x )
2. x ( P( x ) Q( x )) 6 xP( x ) xQ( x )
3. x ( P( x ) Q( x )) xP( x ) xQ( x )
4. x ( P( x ) Q( x )) 6 xP( x ) xQ( x )
Ejercicio 9.6 Determinar, mediante tableros semnticos, cules de las siguientes frmu-
las son lgicamente vlidas y cules insatisfactibles.
1. x y( P( x ) Q(y)) x y( P( x ) Q(y))
2. x yP( x, y) xP( x, x )
3. xP( x, x ) x y( P( x, y) P(y, x ))
4. x y( P( x, y) P(y, y))
5. x yP( x, y) xP( x, x )
6. x y( P( x, y) P(y, x ))
7. xP( x, x ) x y( P( x, y) P(y, x ))
Ejercicio 9.7 Determinar mediante tableros si son ciertas las siguientes afirmaciones:
1. |= xP( x ) P( a),
Ejercicio 9.8 Resolver, mediante tableros semnticos, los ejercicios del tema 7.
9.3. Ejercicios de exmenes 73
x ( P( x ) Q( x )) |= xP( x ) xQ( x )
|= x ( P( x ) R( x, x )) x y( R( x, y) P(y))
Ejercicio 9.13 [Tercer parcial de 2011] Demostrar o refutar mediante tableros semnti-
cos
|= x ( P( x ) R( x, x )) x y( R( x, y) P(y))
Ejercicio 9.14 [Examen de junio de 2011] Demostrar o refutar mediate tableros semn-
ticos
1. x P( x ) y Q(z, y).
2. x P( x ) y Q( x, y).
3. x P( x ) x Q(z, x ).
Ejercicio 10.2 Calcular una frmula equivalente en forma rectificada para cada una de
las siguientes frmulas:
1. x P( x ) x Q(z, x ).
2. x P( x ) y Q( x, y).
Ejercicio 10.3 Determinar cules de las siguientes frmulas estn en forma normal pre-
nexa:
1. x [ P( x ) x P( x )]
2. x y [ P( x ) P(y)]
3. x P( x ) y Q(y)
4. x y [ P( x ) Q(y)]
5. y x [ P( x ) Q(y)]
6. ( x [ P( x ) Q( x )] x [ Q( x ) R( x )] x [ P( x ) R( x )])
75
76 Tema 10. Formas normales. Clusulas
Ejercicio 10.4 Calcular una forma normal prenexa de cada una de las siguientes frmu-
las:
1. x [ P( x ) x P( x )].
2. x P( x ) y Q(y).
3. x P( x ) y Q(y).
4. ( x [ P( x ) Q( x )] x [ Q( x ) R( x )] x [ P( x ) R( x )]).
Ejercicio 10.6 Decidir si los siguientes pares de frmulas son equisatisfacibles y equi-
valentes:
1. x Q( x ) y Q( a).
2. x y P( x, y) y x P( x, f ( x )).
Ejercicio 10.7 Calcular una forma de Skolem de cada una de las siguientes frmulas:
1. x y z u v w P( x, y, z, u, v, w)).
2. x y z w [ P( a, w) Q( f ( x ), y)].
3. x [ P( x ) x P( x )].
4. x P( x ) y Q(y).
5. x P( x ) y Q(y).
6. ( x [ P( x ) Q( x )] x [ Q( x ) R( x )] x [ P( x ) R( x )]).
Ejercicio 10.8 Calcular una forma clausal de cada una de las siguientes frmulas:
1. x [ P( x ) x P( x )].
2. x P( x ) y Q(y).
3. x P( x ) y Q(y).
4. ( x [ P( x ) Q( x )].
5. ( x [ P( x ) Q( x )] x P( x ) x Q( x )).
10.1. Ejercicios resueltos 77
Ejercicio 10.10 Reducir cada uno de los siguientes problemas a un problema de incon-
sistencia de conjuntos de clusulas.
1. { x [ P( x ) Q( x )], x P( x )} |= x Q( x )
2. { x [ P( x ) Q( x )], x [ Q( x ) R( x )]} |= x [ P( x ) R( x )]
78 Tema 10. Formas normales. Clusulas
!
Tema 11
Modelos de Herbrand
2. C = y F = { f /1}.
3. C = { a, b} y F = { f /1, g/1}.
4. C = { a, b} y F = { f /2}.
Ejercicio 11.3 Calcular la base de Herbrand de los lenguajes cuyos conjuntos de cons-
tantes, C , smbolos de funciones, F y smbolos de relaciones, R, son:
1. C = { a, b, c}, F = y R = { P/1}.
2. la base de Herbrand de S y
79
80 Tema 11. Modelos de Herbrand
1. el universo de Herbrand de S,
2. la base de Herbrand de S y
3. un modelo de Herbrand de S.
Ejercicio 11.6 Sea S el conjunto de clusulas {{ Q(b, x ), P( a), R(y)}, { P(b), Q(z, u)}}
e I = (U, I ) la estructura con universo U = {1, 2} e interpretacin I definida por a I = 1,
b I = 2, P I = {1}, Q I = {(1, 1), (2, 2)} y R I = {2}.
1. Comprobar que I |= S.
3. Comprobar que I |= S.
Ejercicio 11.7 Sea S el conjunto de clusulas {{ P( a)}, { Q(y, f ( a))}} e I = (U, I ) la es-
tructura con universo U = {1, 2} e interpretacin I definida por a I = 1, f I = {(1, 2), (2, 1)},
P I = {1} y Q I = {(1, 2), (2, 2)}.
1. Comprobar que I |= S.
3. Comprobar que I |= S.
Ejercicio 11.10 Sea C la clusula { P( x, a), P( x, f (y))}. Decidir si las siguientes clusu-
las son instancias bsicas de C:
Ejercicio 11.11 Calcular la extensin de Herbrand de cada uno de los siguientes con-
juntos de clusulas:
1. S1 = {{ P( x )}, { P( f ( x ))}}.
3. S3 = {{ P( x )}, { P( f ( x ))}}.
!
Tema 12
1. { x [ P( x ) Q( x )], x P( x )} ` x Q( x )
2. { x [ P( x ) Q( x )], x [ Q( x ) R( x )]} ` x [ P( x ) R( x )]
t1 t2
1 f ( x, g(z)) f ( g(y), x ) [ x/g(z), y/z]
2 f ( x, g(z)) f ( g(y), x ) [ x/g(y), z/y]
3 f ( x, g(z)) f ( g(y), x ) [ x/g( a), y/a]
4 f ( x, y) f (y, x ) [ x/a, y/a]
5 f ( x, y) f (y, x ) [y/x ]
6 f ( x, y) f (y, x ) [ x/y]
83
84 Tema 12. Clusulas. Modelos de Herbrand. Resolucin
1. f ( x, g(z)) y f ( g(y), x ).
2. f ( x, b) y f ( a, y).
3. f ( x, x ) y f ( a, b).
4. f ( x, g(y)) y f (y, x ).
7. f ( a, y) y f ( a, b).
Ejercicio 12.9 Demostrar por resolucin que los siguientes conjuntos de clusulas son
inconsistentes:
2. S2 = {{ P( x )}, { P( f ( x ))}}.
1. { x [ P( x ) Q( x )], x P( x )} ` Res x Q( x ).
3. ` Res x [ P( x ) y P(y)].
Ejercicio 12.11 (Paradoja del barbero de Russell) En una isla pequea hay slo un bar-
bero. El gobernador de la isla ha publicado la siguiente norma:
12.2. Ejercios propuestos 85
El barbero afeita a todas las personas que no se afeitan a s misma y slo a dichas
personas.
Ejercicio 12.14 Demostrar o refutar, mediante resolucin, cada una de las siguientes
frmulas:
1. x y R( x, y) y x R( x, y)
2. y x R( x, y) x y R( x, y)
3. x ( P( x ) y P(y))
4. x ( P( x ) Q( x )) x P( x ) x Q( x )
5. x ( P( x ) Q( x )) x P( x ) x Q( x )
6. x P( x ) x Q( x ) x ( P( x ) Q( x ))
7. x P( x ) x Q( x ) x ( P( x ) Q( x ))
Ejercicio 12.16 Demostrar, por resolucin, que si toda persona pobre tiene un padre
rico, entonces existe una persona rica que tiene un abuelo rico.
Ejercicio 12.17 Demostrar mediante resolucin cada una de las argumentaciones co-
rrectas de la relacin de 50 ejercicios de argumentacin.
Ejercicio 12.19 Las listas pueden representarse mediante la constante vaca nil, el sm-
bolo de funcin p y constantes atmicas. Por ejemplo,
p( p(1, nil ), p(2, nil )) representa la lista cuyos elementos son las listas p(1, nil ) y
p(2, nil ).
Ejercicio 12.20 Demostrar por resolucin cada una de las argumentaciones vlidas del
ejercicio 7.34.
Ejercicios de exmenes
Ejercicio 12.21 [Examen de Septiembre de 2006] Decidir si el siguiente conjunto de
frmulas es consistente
S = { x [ A( x ) y [ B(y) C ( x, y)]],
x A ( x ),
y z C (z, y),
y x z [( B( x ) A(z)) (C (y, z) B(y))] }
Si S es consistente, obtener razonadamente un modelo de S.
Algunas personas admiran a los que tienen bigote. Algunas personas no simpa-
tizan con nadie que admire a los que tienen bigote. Luego algunas personas no son
simpticas a todos.
Ejercicio 12.26 [Examen de Junio de 2006 (segundo parcial)] Decidir, mediante resolu-
cin, si
|= x [y [ P( x, y) Q(y)] x y [ Q(y) P( x, y)]]
En el caso de que no se verifique, obtener un contramodelo a partir de la resolucin.
Ejercicio 12.28 [Examen de Junio de 2006 (segundo parcial)] Decidir, mediante resolu-
cin, si
x y [z [ P(z, x ) P(z, y)] Q( x, y)] |= x Q( x, x )
En el caso de que no se verifique, obtener un contramodelo a partir de la resolucin.
Ejercicio 12.30 [Examen de Junio de 2006 (segundo parcial)] Decidir, mediante resolu-
cin, si
|= x [ P( x ) Q( x )] x P( x x Q( x ))
En el caso de que no se verifique, obtener un contramodelo a partir de la resolucin.
Ejercicio 12.32 [Examen de Diciembre de 2005] Consideremos los dos siguientes enun-
ciados en castellano
F1 : x y [ P( x ) S(y, c) R( x, y)]
F2 : x [ P( x ) y [ R( x, y) S(y, c)]]
F3 : y [S(y, c) x [ P( x ) R( x, y)]]
F4 : x y [ P( x ) ( R( x, y) S(y, c))]
2. Demostrar, calculando sus forma clausales, que las dos frmulas correspondientes
a E1 son lgicamente equivalentes. Hacer lo mismo con las dos frmulas corres-
pondientes a E2 .
Ejercicio 12.33 [Examen de Septiembre de 2005] En una pecera nadan una serie de
peces. Se observa que:
1. Hay algn pez x que para cualquier pez y, si el pez x no se come al pez y entonces
existe un pez z tal que z es un tiburn o bien z protege al pez y.
1. Para todo conjunto de frmula S y para toda frmula F se verifica que si S 6|= F
entonces S |= F.
Si todo el que estudia aprueba, entonces todo el que estudia recibe un regalo.
Ejercicio 12.38 [Segundo parcial del 200405 (Grupo 2)] Decidir, mediante resolucin,
si
{ x [ P( x ) Q( x )], x P( x )} |= x Q( x ).
Obtener un contramodelo en el caso de que no sea vlida.
Ejercicio 12.39 [Segundo parcial del 200405 (Grupo 2)] Decidir, mediante resolucin,
si
|= x y [ P( x, y) x y P( x, y)].
Obtener un contramodelo en el caso de que no sea vlida.
Ejercicio 12.40 [Segundo parcial del 200405 (Grupo 1)] Decidir, mediante resolucin,
si la siguiente frmula es vlida x y z [ R( x, y) ( R(y, z) R(z, z))]. Obtener, a
partir de la resolucin, un contramodelo en el caso de que no sea vlida.
92 Tema 12. Clusulas. Modelos de Herbrand. Resolucin
Ejercicio 12.41 [Segundo parcial del 200405 (Grupo 1)] Decidir, mediante resolucin,
si
{ x P( x ) x Q( x )} |= x [ P( x ) Q( x )]
En el caso de que no se verifique, obtener un contramodelo a partir de la resolucin.
Ejercicio 12.43 [Examen de Septiembre de 2004] Decidir cules de las siguientes afir-
maciones se cumplen. Para ello, dar una prueba por resolucin y otra por deduccin
natural de cada una de las vlidas y calcular un modelo de Herbrand de las que no lo
son.
1. x P( x ) x Q( x ) |= x [ P( x ) Q( x )]
2. x [ P( x ) Q( x )] |= x P( x ) x Q( x )
3. x [ P( x ) Q( x )] |= x P( x ) x Q( x )
1. x y P( x, y) x y P( x, y)
2. x y P( x, y) x y P( x, y)
3. [ x y P( x, y) x y P( x, y)]
2. Cuando alguien que celebra su cumpleaos en julio ha aprobado todas las asigna-
turas, se le obsequia con un regalo.
(b) Obtener el conjunto de clusulas de las frmulas anteriores y probar que es incon-
sistente dando un subconjunto de su extensin de Herbrand que lo sea.
(c) Probar, mediante resolucin, que el enunciado Si Pablo recibe un mvil como regalo,
entonces ha aprobado todas las asignaturas es consecuencia lgica de los enunciados
1 y 3.
Ejercicio 12.46 [Examen de Junio de 2004] Sea L un lenguaje de primer orden con un
smbolo de predicado, Q, (de aridad 2) y un smbolo de funcin, f , (de aridad 1). Se
considera la estructura I dada por: Universo: { a, b}, Q I = {( a, b), (b, a)}, f I ( a) = a y
f I (b) = a. Decidir cules de las siguientes frmulas se satisfacen en la estructura:
1. x [ Q( f ( x ), x ) Q( x, x )]
2. x [ Q( f ( x ), x ) Q( x, x )]
(a) Formalizar los enunciados anteriores en un lenguaje de primer orden usando los
smbolos de predicado: D ( x, y): x derrota a y, H ( x, y): x hereda la corona de y,
R( x ): x es rey, P( x, y): x es el primognito de y. Las constantes a, b, c denotarn,
respectivamente, a Ricardo III, Enrique VII y Enrique VIII.
(b) A partir de la informacin anterior, probar, mediante resolucin, que Enrique VIII
fue rey.
Ejercicio 12.49 [Examen de Septiembre de 2003] Hallar las formas prenexa, de Skolem
y clausal de la frmula: x z [ P( x ) Q(z)] z A(y, z u B(y, u))
Ejercicio 12.50 [Examen de Junio de 2003] Supongamos conocidos los siguientes he-
chos acerca del nmero de aprobados de dos asignaturas A y B:
Se pide:
(a) Formalizar los enunciados anteriores en un lenguaje de primer orden usando los
siguientes smbolos de predicado: D ( x ): x es un delegado, Ap( x, y): x aprueba
la asignatura y. Las constantes a, b, m denotarn la asignatura A, la asignatura B
y a Manuel, respectivamente.
(b) Obtener una forma clausal para el conjunto de frmulas del apartado anterior.
A todos los porteros que no vistieron camiseta negra les marc un gol algn de-
lantero europeo.
Algn portero jug con botas blancas y slo le marcaron goles jugadores con botas
blancas.
Se pide:
2. Obtener una forma clausal para el conjunto de frmulas del apartado anterior.
3. Probar, mediante resolucin, que algn delantero europeo jug con botas blancas.
2. El TX150 es un ordenador.
Se pide:
(a) Formalizar los hechos anteriores utilizando los siguientes smbolos de predicado:
O( x ): x es un ordenador, M( x ): x es una mquina, A( x, y): x puede arreglar
y, E( x, y): x estropea y y D ( x, y): x desespera a y . Y a, b como constantes
para TX150 y Flix, respectivamente.
(b) Utilizando resolucin responder a las siguientes preguntas: Puede arreglar Flix
el TX150? Estropea Flix el TX150?
Ejercicio 12.55 [Examen de Junio de 2001] Las relaciones de parentesco verifican la si-
guientes propiedades generales:
Cualquier padre de una persona es tambin padre de todos los hermanos de esa
persona.
Tenemos los siguientes miembros de la familia Pelez: Don Antonio, Don Luis, Antoito
y Manolito y sabemos que Don Antonio y Don Luis son hermanos, Antoito y Manolito
son hermanos, y Antoito es hijo de Don Antonio. Se pide:
[2] J.A. Alonso Soluciones de exmenes de Lgica informtica (Univ. de Sevilla, 2008).
[3] L. Arenas Lgica formal para informticos. (Ed. Daz de Santos, 1996)
[5] M. BenAri Mathematical Logic for Computer Science (2nd ed.) (Springer, 2001)
[6] R. Bornat Using ItL Jape with X (Department of Computer Science, QMW, 1998).
[7] C.L. Chang y R.C.T. Lee Symbolic Logic and Mechanical Theorem Proving (Academic
Press, 1973).
[10] J.L. Fernndez, A. Manjarrs y F.J. Dez Lgica computacional. (UNED, 2003)
[11] M. Fitting FirstOrder Logic and Automated Theorem Proving (2nd ed.) (Springer,
1996)
[12] J.H. Gallier Logic for computer science (foundations of automatic theorem Proving) (June
2003)
[15] Hortal, M.T.; Leach, J. y Rogrguez, M. Matemtica discreta y lgica matemtica (Ed.
Complutense, 1998)
[16] M. Huth y M. Ryan Logic in Computer Science: Modelling and Reasoning about Systems
(Cambridge University Press, 2000)
99
100 Bibliografa
[20] N.J. Nilsson Inteligencia artificial (Una nueva sntesis) (McGrawHill, 2001).