Ejercicios LMF 2011 12 PDF

Ejercicios de Lgica matemtica y
fundamentos (201112)
Jos A. Alonso Jimnez
Mara J. Hidalgo Doblado
Grupo de Lgica Computacional

Dpto. de Ciencias de la Computacin e Inteligencia Articial
Universidad de Sevilla
Sevilla, 12 de Febrero de 2012
Esta obra est bajo una licencia ReconocimientoNoComercialCompartirIgual 2.5 Spain

de Creative Commons.
Se permite:
copiar, distribuir y comunicar pblicamente la obra
hacer obras derivadas
Bajo las condiciones siguientes:
Reconocimiento. Debe reconocer los crditos de la obra de la manera especicada por el autor.
No comercial. No puede utilizar esta obra para nes comerciales.
Compartir bajo la misma licencia. Si altera o transforma esta obra, o genera
una obra derivada, slo puede distribuir la obra generada bajo una licencia
idntica a sta.
Al reutilizar o distribuir la obra, tiene que dejar bien claro los trminos de la licencia de esta obra.
Alguna de estas condiciones puede no aplicarse si se obtiene el permiso del titular
de los derechos de autor.
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
1. Sintaxis y semntica de la lgica proposicional
7
1.1. Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2. Deduccin natural proposicional
15
3. Tableros semnticos
23
4. Formales normales
29
5. Resolucin proposicional
35
6. Sintaxis y semntica de la lgica de primer orden
43
7. Deduccin natural de primer orden
59
8. Tableros semnticos
67
ndice general
9. Formas normales. Clusulas

71
10. Modelos de Herbrand
75
11. Clusulas. Modelos de Herbrand. Resolucin
79
11.2. Ejercios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Bibliografa
93
Introduccin
En el presente volumen se presentan los enunciados de los ejercicios del curso de
Lgica matemtica y fundamentos (201011). Este volumen es complementario de
Temas de "Lgica matemtica y fundamentos"(2011-12).
En cada tema los ejercicios se han dividido en dos grupos:
Ejercicios resueltos: son ejercicios comentados en las clases cuyas soluciones se encuentran en las transparencias y en Temas de "Lgica matemtica y fundamentos"(201112).
Ejercicios propuestos.
ndice general
Tema 1
Sintaxis y semntica de la lgica
proposicional
1.1.
Ejercicios resueltos
Ejercicio 1.1 Determinar cules de las siguientes expresiones son frmulas proposicionales:
1. p
2. ( p)
3. ( p q)
4. p q
5. ( p p)
6. (( p q) (q p))
7. ( p q)
Ejercicio 1.2 Denir por recursin sobre frmulas las siguientes funciones
1. np( F ) que calcula el nmero de parntesis de la frmula F. Por ejemplo,
np(( p (q p))) = 4.
2. Subf ( F ) que calcula el conjunto de las subfrmulas de la frmula F. Por ejemplo,
Subf ( p q p) = { p q p, p, q p, q, q}.
Ejercicio 1.3 Demostrar por induccin que todas las frmulas proposicionales tienen
un nmero par de parntesis.
7
Tema 1. Sintaxis y semntica de la lgica proposicional
Ejercicio 1.4 Para la siguiente frmula

p q p
escribir la frmula con parntesis, construir el rbol de anlisis y determinar todas sus
subfrmulas.
Ejercicio 1.5 Calcular el valor de la frmula ( p q) (q r ) en las siguientes interpretaciones
1. I1 tal que I1 ( p) = I1 (r ) = 1, I1 (q) = 0
2. I2 tal que I2 (r ) = 1, I2 ( p) = I2 (q) = 0
Ejercicio 1.6 Demostrar que para toda frmula F se tiene que para todo par de intepretaciones I1 , I2 , si I1 ( p) = I2 ( p) para todos las variables proposicionales de F, entonces
I1 ( F ) = I2 ( F ).
Ejercicio 1.7 Determinar cules de las siguientes interpretaciones es modelo de la frmula ( p q) (q r )
1. I1 tal que I1 ( p) = I1 (r ) = 1, I1 (q) = 0
2. I2 tal que I2 (r ) = 1, I2 ( p) = I2 (q) = 0
Ejercicio 1.8 Determinar si las siguientes frmulas son satisfacible o insatisfacible.
1. ( p q) (q r )
2. p p
Ejercicio 1.9 Demostrar o refutar las siguientes proposiciones:
1. F es tautologa syss F es insatisfacible.
2. Si F es tautologa, entonces F es satisfacible.
3. Si F es satisfacible, entonces F es insatisfacible.
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
4. p p
5. p p
6. ( p q) (q p)
7. ( p q) (q p)
Clasicar las frmulas anteriores en tautologas, contingentes y contradicciones. Cules son satisfacibles? Cules son insatisfacibles?
Ejercicio 1.11 Demostrar que las frmulas que aparecen en la transparencia 19 del tema
1 son tautologas:
1.
2.
3.
4.
5.
6.
7.
8.
FF
F F
( F F )
( F F ) F
F ( F G)
(( F G ) F ) F
( F G) F G
( F G) G F
ley de identidad
ley del tercio excluso
principio de no contradiccin
ley de Clavius
ley de Duns Scoto
ley de Peirce
modus ponens
modus tollens
Ejercicio 1.12 Demostrar las equivalencias lgicas que aparecen en la transparencia 20

del tema 1:
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
Ejercicio 1.13 Demostrar que F G syss |= F G.

Ejercicio 1.14 Determinar cules de las siguientes interpretaciones es modelo del conjunto de frmulas S = {( p q) (q r ), q r }.
1. I1 tal que I1 ( p) = 1, I1 (q) = 0, I1 (r ) = 1.
2. I2 tal que I2 ( p) = 0, I2 (q) = 1, I2 (r ) = 0.
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 }
Ejercicio 1.16 Decidir cules de las siguientes armaciones son verdaderas:
1. { p q, q r } |= p r
2. { p} |= p q
1. Para todo conjunto de frmula S, S |= S.
2. Para todo conjunto de frmula S1 y toda frmula F, si S1 |= F y S1 S2 , entonces
S2 |= F.
3. Para todo conjunto de frmula S1 y todo par de frmulas F, G, si S |= F y { F } |= G,
entonces S |= G.
Ejercicio 1.18 Demostrar que las siguientes condiciones son equivalentes:
1. { F1 , . . . , Fn } |= G
2. |= F1 Fn G
3. ( F1 Fn G ) es insatisfacible
4. { F1 , . . . , Fn , G } es inconsistente
Ejercicio 1.19 Determinar si los siguientes argumentos son lgicamente correctos:
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
2. Si hay corriente y la lmpara no est fundida, entonces est encendida. La lmpara

no est encendida. Hay corriente. Por tanto, la lmpara est fundida.
Ejercicio 1.20 Determinar la correccin del siguiente argumento.
Se sabe que
1. Los animales con pelo o que dan leche son mamferos.
2. Los mamferos que tienen pezuas o que rumian son ungulados.
3. Los ungulados de cuello largo son jirafas.
4. Los ungulados con rayas negras son cebras.
Se observa un animal que tiene pelos, pezuas y rayas negras. Por consiguiente, se concluye que el animal es una cebra.
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
1. A dice B y C son veraces syss C es veraz
2. B dice Si A y C son veraces, entonces B y C son veraces y A es mentiroso
3. C dice B es mentiroso syss A o B es veraz
Determinar a qu tribu pertenecen A, B y C.
1.2.
Ejercicios propuestos
1. npi( F ) que calcula el nmero de parntesis izquierdos de la frmula F. Por ejemplo,
npi(( p (q p))) = 2.
2. npd( F ) que calcula el nmero de parntesis derechos de la frmula F. Por ejemplo,
npd(( p (q p))) = 2.
Ejercicio 1.23 Demostrar por induccin que todas las frmulas proposicionales tienen
el mismo nmero de parntesis izquierdos que de derechos.
Ejercicio 1.24 Para cada una de las siguientes frmulas,
1. q q p r
12
2. p q r s p
escribir la frmula con parntesis, construir el rbol de anlisis y determinar todas sus
subfrmulas.
1. n_variables( F ) que calcula el nmero variables proposicionales que ocurren en la
frmula F. Por ejemplo, n_variables( p p q) = 3.
2. profundidad( F ) que calcula la profundidad del rbol de anlisis de la frmula F.
Por ejemplo,
profundidad( p p q) = 2.
Demostrar por induccin, que para toda frmula F, n_variables( F ) 2profundidad( F) .
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
Clasicar las frmulas anteriores en tautologas, contingentes y contradicciones. Cules son satisfacibles? Cules son insatisfacibles?
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?
Ejercicio 1.29 Decidir cules de las siguientes armaciones son verdaderas:
1. { p q} |= p q
2. { p q, r q} |= p r
13
3. { p p} |= r r q
4. { p q, q p r } |= p ( p q) r
Ejercicio 1.30 Determinar si los siguientes argumentos son lgicamente correctos:
1. Si Juan es andaluz, entonces Juan es europeo. Juan es europeo. Por tanto, Juan es
andaluz.
2. Cuando tanto la temperatura como la presin atmosfrica permanecen contantes,
no llueve. La temperatura permanece constante. En consecuencia, en caso de que
llueva, la presin atmosfrica no permanece constante.
3. Siempre que un nmero x es divisible por 10, acaba en 0. El nmero x no acaba en
0. Luego, x no es divisible por 10.
4. En cierto experimento, cuando hemos empleado un frmaco A, el paciente ha mejorado considerablemente en el caso, y slo en el caso, en que no se haya empleado
tambin un frmaco B. Adems, o se ha empleado el frmaco A o se ha empleado el frmaco B. En consecuencia, podemos armar que si no hemos empleado el
frmaco B, el paciente ha mejorado considerablemente.
Ejercicio 1.31 Un rey somete a un prisionero a la siguiente prueba: lo enfrenta a dos
puertas, de las que el prisionero debe elegir una, y entrar en la habitacin correspondiente. Se informa al prisionero que en cada una de las habitaciones puede haber un
tigre o una dama. Como es natural, el prisionero debe elegir la puerta que le lleva a
la dama (entre otras cosas, para no ser devorado por el tigre). Para ayudarle, en cada
puerta hay un letrero:
puerta 1: en esta habitacin hay una dama y en la otra un tigre.
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.
Ejercicio 1.32 Es cierto que si F G y F son satisfacibles, entonces G es satisfacible?
Si es cierto, dar una explicacin. Si no es cierto, dar un contraejemplo.
1. Si F es una frmula satisfacible, entonces todas las subfrmulas de F son satisfacibles.
2. Existen frmulas vlidas tales que todas sus subfrmulas son vlidas.
14

1. Si S1 y S2 son dos conjuntos consistentes de frmulas, entonces S1 S2 es consistente.
2. Si S1 y S2 son dos conjuntos inconsistentes de frmulas, entonces S1 S2 es inconsistente.
Ejercicio 1.35 Demostrar o refutar las siguiente proposicin:
Si { F G, F } es consistente, entonces { G } es consistente.
1. Existe un conjunto de frmulas S y una frmula F tal que S |= F y S |= F.
2. Existe un conjunto de frmulas S y una frmula F tal que S |= F y S |= F.
Ejercicio 1.37 Demostrar o refutar las siguiente proposicin: Para todo conjunto de frmula S y para toda frmula F se verica que si S |= F entonces S |= F.
Tema 2
Deduccin natural proposicional
2.1.
Ejercicio 2.1 Probar mediante deduccin natural:

1. p q, r
qr
2. p, (q r )
p r
3. p q, p q r p
4. p, p q, p (q r )
5. p (q r ), p, r
6. p q, q
7. p q
10.
p q
pp
(q r ) ((q p) ( p r ))
11. p q
12. q r
13.
q p
8. q p
9.
r p
qp
pq pr
p (q p)
14. p q
pq
15. p q, p q
p
15
16
Tema 2. Deduccin natural proposicional
16. p q q p
17. p q, p q
18. p q
pq
p q
Ejercicio 2.2 Demostrar la adecuacin de las reglas de deduccin natural:

1. i:
{ F, G } |= F G
2. e:
F G |= F
3. e:
F G |= G
4. e: { F } |= F
5. i: { F } |= F
6. e: { F, F G } |= G
7. i: Si F |= G, entonces |= F G.
8. e:
|= F
9. e:
{ F, F } |=
10. i:
Si F |= , entonces |= F.
Ejercicio 2.3 Demostrar las reglas derivadas.
1. Modus tollens:
F G G
MT
F
2. Introduccin de la doble negacin:
F
3. Reduccin al absurdo:
F
.
.
.
RAA
4. Ley del tercio excluido:

F F
LEM
Ejercicio 2.4 Demostrar las equivalencias lgicas que aparecen en la transparencia 20

del tema 1:
17
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
2.2.

1. p, p q
2. p q, q r, p
3. p (q r ), p q, p
4. p q, q r
pr
5. p (q r )
q ( p r)
6. p (q r )
( p q) ( p r )
7. p
8.
qp
p (q p)
9. p q
(q r ) ( p r )
10. p (q (r s))
11.
r (q ( p s))
( p (q r )) (( p q) ( p r ))
12. ( p q) r
p (q r )
18
pq
13. p, q
14. p q
15. p q
16. p (q r )
( p q) r
17. ( p q) r
p (q r )
18. p q
pq
19. ( p q) ( p r )
20. p (q r )
p (q r )
( p q) ( p r )
21. p (q r )
( p q) r
22. ( p q) r
p (q r )
23. p
pq
24. q
pq
25. p q
qp
26. q r
( p q) ( p r )
27. p p
28. p
pp
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
33. p (q r )
( p q) ( p r )
34. ( p q) ( p r )
35. ( p r ) (q r )
36. ( p q) r
37. p
p (q r )
p (q r )
( p q) r
( p r ) (q r )
38. p
19
pq
39. p q
q p
40. p q, q
41. p q, p
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
49. p
q
p
50.
p p
51.
(( p q) p) p
52. q p
pq
53. ( p q)
pq
54. ( p q)
55. ( p q)
56.
pq
p q
( p q) (q p)
Ejercicio 2.6 Demostrar, por deduccin natural, la correccin del siguiente argumento:
Se sabe que
1. Los animales con pelo o que dan leche son mamferos.
20
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 vlidas del ejercicio 1.30.
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
1.
( E ( F G )) ( E F ) ( E G )
2.
3.
(E G) ( F G)
a) { p r, r q} |= ( p q)
b) p q, q r
c)
pr
( p q) (( p q) q)
d) ( p (q p)) q
e) ( p q)
pq
f ) ( p q) ( p r ) |= p (q r )
g) ( p1 p2) (q1 q2)
h) ( p q)
i)
pq
(( p q) ( p r )) ( p q r )
j) (( p q) ( p r ))
4.
( p1 q1 p2 q2)
p (q r )
q ( p r )
( p q ) r
5.
(( p (q r )) p) p
6.
( p q) ( p r ) ( p (q r ))
7.
21
a) ( p q) ( p r )
b)
p r.
( p q) (( p q) q).
c) (q p)
p q.
d) p (r q)
e) ( p q)
q ( p r ).
p q.
f ) ( p q) p r
q ( p r ).
g) ( p q) ((r q) s)
h)
8.
9.
10.
( p s).
((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 3
Tableros semnticos
3.1.
Ejercicio 3.1 Calcular, mediante tableros semnticos, los modelos de las siguientes frmulas
( 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.
Ejercicio 3.3 Construir dos tableros completos distintos de ( p q) ( p q)
Ejercicio 3.4 Decidir si
1.
Tab
p q ( p q).
2.
Tab
p q ( p r ).
3. { p q, q r }
4. { p q}
Tab
Tab
p r.
p q.
23
24
Tema 3. Tableros semnticos
3.2.

1. F G es satisfacible syss F es satisfacible y G es satisfacible.
2. F G es satisfacible syss F es satisfacible o G es satisfacible.
3. F G es vlida syss F es vlida y G es vlida.
4. F G es vlida syss F es vlida G es vlida.
Ejercicio 3.6 Demostrar por deduccin natural las equivalencias de la notacin uniforme:
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 ).
Ejercicio 3.7 Sea A la frmula proposicional p q p r.
1. Escribir un tablero completo para A y otro para A.
2. Describir todos los modelos y todos los contramodelos de la frmula A.
Ejercicio 3.8 Decidir, mediante tableros semnticos, si:
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 7.4 y 7.5 mediante el procedimiento de los tableros semnticos.
Ejercicio 3.10 Demostrar, mediante tableros semnticos, la correccin de los argumentos vlidos de los ejercicios 1.20, 1.30 y 6.34.
Ejercicio 3.11 Probar, usando tableros semnticos, que la frmula
( p q r ) ( p (q r ))
es una tautologa.
Ejercicio 3.12 Decidir, usando tableros semnticos, si la frmula
( p q p q) ( p q)
es insatisfactible o una tautologa.
Ejercicio 3.13 Decidir, mediante tableros semnticos, si
{ p q r s, r t s, r t u} |= p s u
Ejercicio 3.14 Probar, mediante tableros semnticos, que la frmula
( p r ) ((q r ) ( p q r ))
es una tautologa.
Ejercicio 3.15 Demostrar por el mtodo de tableros semnticos que
( p q r ) ( p s) (t q) (s t u) |= r u
Ejercicio 3.16 Probar, mediante tableros semnticos, que
(r p) (r q s) p q s
es una tautologa.
Ejercicio 3.17 Sean
A : r s u y
B : (r s ) ( u r ).
Probar, mediante tableros semnticos que A y B son lgicamente equivalentes.
Ejercicio 3.18 Se considera el conjunto de frmulas
S = { p q, q r s, s r q, q}
1. Probar, mediante tableros semnticos, que S es consistente.
2. Obtener todos los modelos de S.
Ejercicio 3.19 Dadas las frmulas
A : (s p) (t q) y
B : ( s q ) ( t p ),
se pide
25
26
1. Probar que A |= B, mediante tableros semnticos.

2. Describir, razonadamente, todos los modelos de A y, a continuacin, probar nuevamente que A |= B, utilizando la denicin de consecuencia lgica.
Ejercicio 3.20 Probar mediante un tablero semntico que
( p q) ((r t) (q r )) ( p t)
es una tautologa.
Ejercicio 3.21 Este ejercicio tiene tres apartados.
1. Probar E ( F G ) |= ( E F ) G mediante tableros semnticos.
2. Describir todos los modelos de E ( F G ) que no son modelos de ( E F )
G.
3. La frmula E ( F G ) ( E F ) G, es una tautologa? Razonar la
respuesta.
Ejercicio 3.22 En un texto de Lewis Carroll, el to Jorge y el to Jaime discuten acerca de
la barbera del pueblo, atendida por tres barberos: Alberto, Benito y Carlos. Los dos tos
aceptan las siguientes premisas:
1. Si Carlos no est en la barbera, entonces ocurrir que si tampoco est Alberto,
Benito tendr que estar para atender el establecimiento.
2. Si Alberto no est, tampoco estar Benito.
El to Jorge concluye de todo esto que Carlos no puede estar ausente, mientras que el to
Jaime arma que slo puede concluirse que Carlos y Alberto no pueden estar ausentes
a la vez. Decidir con el mtodo de los tableros semnticos cul de los dos tiene razn.
Ejercicio 3.23 Probar que la frmula
( E ( F G )) ( E F ) ( E G )
es una tautologa por tableros semnticos.
{ p r, q r } |= p q r
( p q) ( p r ) |= p (q r ).
27
Ejercicio 3.26 Decidir, mediante tablero semntico, si
{ p (q r )} |= q p
En el caso de que no se verique, obtener un contramodelo a partir del tablero.
Ejercicio 3.27 Decidir, mediante tablero semntico, si
1. {r ( p q), (( p r ) (q r )) r } |= q
2. |= (( p q) r ) (q r )
En el caso de que no se verique, obtener un contramodelo a partir del tablero.
Ejercicio 3.28 Mediante tableros semnticos, determinar cules de las siguientes frmulas son tautologas y calcular los contramodelos de las que no lo sean.
1. (( p q) (q r )) (r ( p q))
2. (( p q) (q r )) (( p q) r )
Ejercicio 3.29 Decidir, mediante tableros semnticos, si la frmula
p (q s) ( p q) ( p r )
es una tautologa, En el caso de que no lo sea, construir un contramodelo a partir del
tablero.
Ejercicio 3.30 Decidir, mediante tableros semnticos, si la frmula
( p q) ((q r ) q)
es una tautologa, En el caso de que no lo sea, calcular a partir de un tablero completo
sus contramodelos.
Ejercicio 3.31 Sea F la frmula ( p q) (q r ) p.
1. Decidir, mediante tablero semntico, si F es una tautologa.
2. Si F no es una tautologa, calcular, a partir de su tablero semntico y los contramodelos de F.
Ejercicio 3.32 Demostrar o refutar la siguiente proposicin:
Si S es un conjunto inconsistente de frmulas, entonces el tablero semntico cerrado de S obtenido aplicando las reglas antes que las reglas tiene menos nodos
que el tablero semntico cerrado de S obtenido aplicando las reglas antes que
las reglas .
28
Ejercicio 3.33 Sea F la frmula
(( p q) ( p q)) ((( p q) ((q r ) p)) (r (q p)))

Decidir, mediante tablero semntico, si F es satisfacible. En el caso de que lo sea, calcular
un modelo v de F a partir del tablero y comprobar que v es modelo de F.
Tema 4
Formales normales
4.1.
Ejercicio 4.1 Para cada una de las siguientes frmulas, determinar si estn en FNC, en
FND, en ambas o en ninguna de las dos.
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 frmulas
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 frmulas
1. ( p (q r )).
2. ( p q ( p q)).
1. F1 Fn es una tautologa syss F1 , . . . , Fn lo son.
29
30
Tema 4. Formales normales
2. L1 Ln es una tautologa syss { L1 , . . . , Ln } contiene algn par de literales

complementarios (i.e. existen i, j tales que Li = Lc ).
j
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.6 Demostrar o refutar las siguientes proposiciones
1. F1 Fn es satisfacible syss alguna de las frmulas F1 , . . . , Fn lo es.
2. L1 Ln es satisfacible syss { L1 , . . . , Ln } no contiene ningn par de literales
complementarios.
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.8 Calcular, mediante tableros semnticos,
1. una forma normal disyuntiva de ( p q p q).
2. una forma normal conjuntiva 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.
31
Ejercicio 4.10 Para cada una de las siguientes frmulas, determinar si estn en FNC, en
FND, en ambas o en ninguna de las dos.
1. ( p q) (r p) s.
2. p q s.
3. p ( p q) ( p s).
4. t q r s.
Ejercicio 4.11 Demostrar, por deduccin natural, las reglas de normalizacin:
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 ).
Ejercicio 4.12 Para cada una de las siguientes frmulas
1. ( p q r ).
2. ( p q r ) ( p q r ).
3. ( p r s) (r s) ( p s).
a. Calcular una FNC, decidir si es o no una tautologa y determinar, en su caso, todos
sus contramodelos.
b. Calcular una FND, decidir si es o no satisfacible y determinar, en su caso, todos
sus modelos.
32
Ejercicio 4.13 Empleando una FNC o bien una FND, segn consideres ms adecuado,
decidir cules de las siguientes armaciones 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
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
F
0
0
1
1
1
0
1
1
Ejercicio 4.15 Sea A la frmula proposicional p q p r.

1. Escribir un tablero completo para A y otro para A.
2. Describir todos los modelos y todos los contramodelos de la frmula A.
3. Calcular una FNC y una FND de A.
Ejercicio 4.16 Probar, mediante forma normal conjuntiva. que la frmula
( p q r ) ( p (q r ))
es una tautologa
Ejercicio 4.17 Decidir, utilizando formas normales, si la frmula
( p (q r )) (r q)
es insatisfactible o una tautologa.
Ejercicio 4.18 Utilizando una forma normal, probar que
(t (t p)) ( p t)
es satisfactible.
33
Ejercicio 4.19 Probar, usando formas normales, que la frmula
( E ( F G )) ( E F ) ( E G )
es una tautologa.
Ejercicio 4.20 Sea F la frmula p q r. Calcular una forma normal conjuntiva de F
y, a partir de ella, determinar los contramodelos de F y decidir si F es una tautologa.
Ejercicio 4.21 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
I ( F) =
1, si I ( p) = I (q r )
0, en caso contrario
Ejercicio 4.22 Calcular una forma normal disyuntiva de A y una forma normal conjuntiva de A siendo A la frmula cuya tabla de verdad es
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
A
1
0
0
0
0
1
0
0

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.
2. Para toda frmula F se tiene que si G1 es una forma normal conjuntiva de F y
G2 es una forma normal normal disyuntiva de F, entonces G1 y G2 son frmulas
distintas.
34
Tema 5
Resolucin proposicional
5.1.
Ejercicio 5.1 Demostrar las siguientes proposiciones:

En cualquier interpretacin I, I ( ) = 0.
La clusula { L1 , L2 , . . . , Ln } es equivalente a la frmula L1 L2 Ln .
El conjunto de clusulas {{ L1,1 , . . . , L1,n1 }, . . . , { Lm,1 , . . . , Lm,nm }} es equivalente a
la frmula ( L1,1 L1,n1 ) ( Lm,1 Lm,nm ).
Si ( L1,1 L1,n1 ) ( Lm,1 Lm,nm ) es una forma normal conjuntiva
de la frmula F. Entonces, una forma clausal de F es
{{ L1,1 , . . . , L1,n1 }, . . . , { Lm,1 , . . . , Lm,nm }}.
Ejercicio 5.2 Calcular una forma clausal de las siguientes frmulas:
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.
Ejercicio 5.4 Demostrar que si S1 , . . . , Sn son formas clausales de F1 , . . . , Fn , entonces
S1 Sn es una forma clausal de { F1 , . . . , Fn }.
35
36
Tema 5. Resolucin proposicional
Ejercicio 5.5 Decidir si la interpretacin I tal que I ( p) = I (q) = 1 es un modelo del

conjunto de clusulas {{ p, q}, { p, q}}.
Ejercicio 5.6 Decidir si los siguientes conjuntos de clusulas son consistentes:
1. {{ p, q}, { p, q}}.
2. {{ p, q}, { p, q}, { p, q}, { p, q}}.
Ejercicio 5.7 Demostrar que si
S, entonces S es inconsistente.
Ejercicio 5.8 Demostrar que { F1 , . . . , Fn } es consistente syss S1 Sn es consistente.

Ejercicio 5.9 Sean S1 , . . . , Sn formas clausales de las frmulas F1 , . . . , Fn y S una forma
clausal de G. Demostrar que son equivalentes
1. { F1 , . . . , Fn } |= G.
2. { F1 , . . . , Fn G } es inconsistente.
3. S1 Sn S es inconsistente.
Ejercicio 5.10 Calcular:
1. Resq ({ p, q}, {q, r }).
2. Resq ({q, p}, { p, q}).
3. Res p ({q, p}, { p, q}).
4. Res p ({q, p}, {q, p}).
5. Res p ({ p}, { p}).
6. Res({ p, q}, { p, q}).
7. Res({ p, q}, { p, q}).
8. Res({ p, q}, {q, r }).
Pertenece
a Res({ p, q}, { p, q})?
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 frmulas { p q, p q}.
37
Ejercicio 5.13 Demostrar las siguientes proposiciones:

1. Si C es una resolvente de C1 y C2 , entonces {C1 , C2 } |= C.
2. Si el conjunto de clusulas S es refutable, entonces S es inconsistente.
3. Si S es un conjunto de frmulas y F es una frmula tal que S
S |= F.
Res
F, entonces
Ejercicio 5.14 [T]

1. Encontrar dos clusulas C1 y C2 tales que {C1 } |= C2 pero C2 no es demostrable
por resolucin a partir de {C1 }.
2. Demostrar que si F1 y F2 son dos frmulas cuyas formas clausales son C1 y C2 ,
respectivamente, entonces { F1 } Res F2 .
Ejercicio 5.15 Construir el grafo de resolucin por saturacin de
{{ p, q}, { p, q}, { p, q}, { p, q}}.
Ejercicio 5.16 Construir el grafo de resolucin por saturacin simplicada de los siguientes conjuntos y, a partir del grafo, hallar una refutacin o un modelo del conjunto.
1. {{ p, q}, { p, q}, { p, q}, { p, q}}.
2. {{ p}, { p, q}, {q, r }}.
Ejercicio 5.17 Contruir un grafo de resolucin positiva del conjunto
{{ p, q}, { p, q}, { p, q}, { p, q}}.
1. Si S es un conjunto de clusulas inconsistente, entonces existe una refutacin de S
mediante resolucin unitaria.
2. Si S es un conjunto de clusulas inconsistente, entonces existe una refutacin de S
mediante resolucin por entradas.
Ejercicio 5.19 Decidir mediante resolucin lineal si el siguiente conjunto es consistente
{{ p, q}, { p, q}, { p, q}, { p, q}}.
Ejercicio 5.20 Demostrar, mediante resolucin lineal, la correccin del siguiente argumento:
Se sabe que
1. Los animales con pelo que dan leche son mamferos.
38

Se observa un animal que tiene pelos, pezuas y rayas negras. Por tanto, el animal es una cebra.
5.2.
Ejercicio 5.21 Indicar en cules de los siguientes ejemplos se ha aplicado correctamente

la regla de resolucin proposicional y en cules no. En este ltimo caso, escribir las
resolventes correctas.
1. { p, q, r, s} es una resolvente de { p, q, r } y { p, q, s}.
2. { p} es una resolvente de { p, q} y { p, q}.
3.
es una resolvente de { p, q} y { p, q}.
4. {r, r } es una resolvente de {r, r } y {r, r }.

Ejercicio 5.22 Usando resolucin proposicional (traduciendo previamente las frmulas
a conjuntos de clusulas), demostrar que:
1. ( p (q r )) ( p q) ( p r ) es una contradiccin.
2. { p q, q p r } |= p (( p q) r ).
Ejercicio 5.23 Usando resolucin proposicional, determinar si:
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.
(b) Ash gan la batalla si el Pokemon vencedor fue Pikachu o Bulbasaur.
(c) Si o bien Togepi o bien Starmie fue el vencedor, Misty gan la batalla.
39
(d) Brock gan la batalla si el vencedor fue Onix o Vulpix.

(e) Si Onix fue derrotado, Starmie tambin.
(f) Bulbasaur fue derrotado.
(g) Si Pikachu fue derrotado, entonces Ash no gan la batalla.
(h) Brock no gan la batalla si Bulbasaur fue derrotado.
(i) Si Vulpix fue derrotado, Togepi y Onix tambin corrieron la misma suerte.
Se pide:
1. Formalizar los datos anteriores en el lenguaje de la lgica proposicional.
2. Para cada frmula obtenida, escribir un conjunto de clusulas equivalente.
3. Usando resolucin proposicional, demostrar que Ash fue el ganador.
Ejercicio 5.25 Probar, mediante resolucin lineal, que
{r p q, s p, s r s t} |= p (q t).
Ejercicio 5.26 Dados los conjuntos de frmulas:
S = { p q, q r s, s r q, q}
T = {q r, q r }
Probar, mediante resolucin lineal, que S T es inconsistente.
Ejercicio 5.27 Demostrar por resolucin cada una de las argumentaciones vlidas del
ejercicio 1.30.
hay un tigre.
Sabiendo que uno de los carteles dice la verdad y el otro no, demostrar mediante resolucin que la dama est en la segunda puerta.
40
Ejercicio 5.29 Sea U = { A1 B1 C2 , A1 B1 , A2 B2 , A1 , A2 }. Probar, mediante

resolucin lineal, que U |= C2 .
Ejercicio 5.30 Decidir, mediante resolucin, si la siguiente frmula es una tautologa
(q p r ) ( p p q)
Ejercicio 5.31 Probar, por resolucin, que la siguiente frmula es una tautologa: ( p
r ) ((q r ) ( p q r ))
Ejercicio 5.32 Probar por resolucin que
{ p q r, p s, t q, s t u} |= r u.
Ejercicio 5.33 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 Probar, mediante resolucin por entradas, que
(s p) (t q) |= (s q) (t p).
Ejercicio 5.35 Sean F y G las siguientes frmulas:
F : ( p q) ((r t) (q r ))
G : (t (t p)) ( p t)
Probar, mediante resolucin, que { F, G } |= r p.
Ejercicio 5.36 Probar, por resolucin, que
( E F ) G |= ( E G ) ( F G )
Ejercicio 5.37 Probar, por resolucin, la inconsistencia del conjunto
{ E F G, E F G, G F, F E, E F }
Ejercicio 5.38 Decidir, mediante resolucin, si
{C A, G D, ( B C G E)} |= A B D.
En el caso que no lo sea, construir un contramodelo a partir de la resolucin.
Ejercicio 5.39 Juan est matriculado en tres asignaturas, lgebra, Lgica y Dibujo. Juan
comenta que
Me gusta al menos una de las tres asignaturas. Si me gustase el lgebra pero no
el Dibujo, me gustara la Lgica. O me gusta el Dibujo y la Lgica, o bien ninguna
de las dos. Si me gustase el Dibujo, entonces me gustara el lgebra.
Los comentarios de Juan pueden formalizarse por
{ A D L, ( A D ) L, ( D L) ( D L), D A}
Decidir, mediante resolucin, si los comentarios de Juan son consistentes y, en su caso,
calcular sus modelos a partir de la resolucin. Qu asignaturas le gustan a Juan?

{ p q, p r, q r s} |= s.
Ejercicio 5.41 Decidir, mediante resolucin, si r es consecuencia lgica de
{ p q, p r, s t q, s t}.
41
42
Tema 6
Sintaxis y semntica de la lgica de
primer orden
6.1.
Ejercicio 6.1 Formalizar el siguiente argumento: Si una ciudad es vecina de otra, entonces
la segunda es vecina de la primera. Sevilla es vecina de Cdiz. Por tanto, Cdiz es vecina de
Sevilla.
Ejercicio 6.2 Para representar el mundo de los bloque se parte de los siguientes predicados primitivos:
sobre( x, y) se verica si el bloque x est colocado sobre el bloque y
sobre_mesa( x ) se verica si el bloque x est sobre la mesa
Denir las siguientes relaciones:
bajo( x, y) se verica si el bloque x est debajo del bloque y.
encima( x, y) se verica si el bloque x est encima del bloque y, pudiendo haber
otros bloques entre ellos.
libre( x ) se verica si el bloque x no tiene bloques encima
pila( x, y, z) se verica si el bloque x est sobre el y, el y sobre el z y el z sobre la
mesa.
Representar la siguiente propiedad: el bloque central de cualquier pila no est libre.
Ejercicio 6.3 Otra representacin del mundo de los bloques se basa en los conceptos
primitivos:
43
44
Tema 6. Sintaxis y semntica de la lgica de primer orden
es_bloque( x ) se verica si x es un bloque.

superior( x ) es el bloque que est sobre el bloque x.
Denir los siguientes conceptos:
sobre_mesa( x ) se verica si el bloque x est sobre la mesa.
libre( x ) se verica si el bloque x no tiene bloques encima.
tope( x ) es el bloque libre que est encima de x.
Ejercicio 6.4 Formalizar las siguientes expresiones, usando la conceptualizacin
planeta(x)
Tierra
Luna
satlite(x)
satlite(x, y)
gira(x, y)
Sol
x es un planeta
la Tierra
la Luna
x es un satlite
x es un satlite de y
x gira alrededor de y
el Sol
1. La Tierra es un planeta.
2. La Luna no es un planeta.
3. La Luna es un satlite.
4. La Tierra gira alrededor del Sol.
5. Todo planeta es un satlite.
6. Todo planeta gira alrededor del Sol.
7. Algn planeta gira alrededor de la Luna.
8. Hay por lo menos un satlite.
9. Ningn planeta es un satlite.
10. Ningn objeto celeste gira alrededor de s mismo.
11. Alrededor de los satlites no giran objetos.
12. Hay exactamente un satlite.
13. La Luna es un satlite de la Tierra.
45
14. Todo planeta tiene un satlite.

15. La Tierra no tiene satlites.
16. Algn planeta no tiene satlites.
17. Slo los planetas tienen satlites.
18. Todo satlite es satlite de algn planeta.
19. La Luna no gira alrededor de dos planetas diferentes.
20. Hay exactamente dos planetas.
Ejercicio 6.5 Decidir si las siguientes expresiones son trminos en el lenguaje de la aritmtica:
1. +(( x, 1), s(y)).
2. +(( x, <), s(y)).
Ejercicio 6.6 Decidir si las siguientes expresiones son trminos en el lenguaje del mundo de los bloques:
1. superior(superior(c)).
2. libre(superior(c)).
Ejercicio 6.7 Decidir si las siguientes expresiones son frmulas atmicas en el lenguaje
de la aritmtica:
1. < (( x, 1), s(y)).
2. +( x, y) = ( x, y).
Ejercicio 6.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 6.9 Decidir si las siguientes expresiones son frmulas en el lenguaje de la aritmtica:
1. x y < ( x, y)
2. x y + ( x, y).
46
Ejercicio 6.10 Decidir si la siguiente expresin es una frmula en el lenguaje del mundo
de los bloques:
1. x (tope( x ) = x libre( x )).
Ejercicio 6.11 Dibujar el rbol de anlisis de la frmula x ( R( x, c) P( f (y))).
Ejercicio 6.12 Calcular las subfrmulas de x ( R( x, c) P( f (y))).
Ejercicio 6.13 Calcular los conjuntos de variables de las siguientes frmulas:
1. x ( R( x, c) P( f (y))).
2. x ( R( a, c) P( f (y))).
Ejercicio 6.14 Determinar las ocurrencias libres y ligadas de las variables de las siguientes frmulas:
1. x ( P( x ) R( x, y)) (yP(y) R(z, x )).
2. xR( x, y) yP(y)
3. x ( P( x ) yR( x, y)).
4. P( x ) R( x, y)
Ejercicio 6.15 Calcular el conjunto de variables libres y el conjunto de variables ligadas
de cada una de las siguientes frmulas:
1. x ( P( x ) R( x, y)) (yP(y) R( x, z)).
2. x ( P( x ) yR( x, y)).
3. z( P( x ) R( x, y)).
Ejercicio 6.16 Determinar si las siguientes frmulas son abiertas o cerradas:
1. x ( P( x ) yR( x, y)).
2. xR( x, y) yP(y).
Ejercicio 6.17 Se considera el lenguaje L cuyos smbolos propios son:
constante: 0;
smbolo de funcin monaria: s;
smbolo de funcin binaria: + y
smbolo de relacin binaria:

y las siguientes estructuras de L
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) =
(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 prejo de w2 } (prejo)
I3 = (U3 , I3 ) con
U3 = { abierto, cerrado }
I3 (0) = cerrado
I3 (s) = {( abierto, cerrado ), (cerrado, abierto )}
I3 (s)(e)
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
Calcular el valor del trmino s( x + s(0)) en
47
48
1. I1 con la asignacin A( x ) = 3.
2. I2 con la asignacin A( x ) = 10.
3. I3 con la asignacin A( x ) = abierto.
Ejercicio 6.18 Calcular el valor de la frmula x yP( x, y) en la estructura I = (U, I )
tal que U = {1, 2} e I ( P) = {(1, 1), (2, 2)}.
Ejercicio 6.19 Calcular el valor de la frmula xg( g( x )) = x en la estructura I = (U, I )
tal que U = {1, 2} e I ( g) = {(1, 2), (2, 1)}.
Ejercicio 6.20 Calcular el valor de las siguientes frmulas.
1. x yR(y, x ) en I = (U, I ) con
a) U = Z e I ( R) = <
b) U = N e I ( R) = <
2. x yR( x, y) en I = (U, I ) con
a) U = N e I ( R) =
b) U = N e I ( R) =
3. yR( x, y) en I = (U, I ) con
a) U = N, I ( R) = y A una asignacin en I tal que A( x ) = 0.
b) U = N, I ( R) = y A una asignacin en I tal que A( x ) = 5.
Ejercicio 6.21 Sea I = (N, I ) una estructura tal que I ( f ) = + e I ( g) = .
1. Determinar si (I , A), donde A es una asignacin en I tal que A( x ) = A(y) = 2,
es una realizacin de f ( x, y) = g( x, y).
2. Determinar si (I , A), donde A es una asignacin en I tal que A( x ) = 1, A(y) = 2,
es una realizacin de f ( x, y) = g( x, y).
3. Determinar si I es un modelo de f ( x, y) = g( x, y).
4. Determinar si I es un modelo de f ( x, y) = f (y, x ).
Ejercicio 6.22 Determinar si las siguientes frmulas son vlidas, satisfacibles o insatisfacibles:
1. xP( x ) x P( x ).
49
2. xP( x ) x P( x ).
3. xP( x ) x P( x ).
1. F es vlida syss F es insatisfacible.
2. Si F es vlida, entonces F es satisfacible.
3. Si F es satisfacible, entonces F es insatisfacible.
4. Sea F una frmula de L y x1 , . . . , xn las variables libres de F. Entonces, F es vlida
syss x1 . . . xn F es vlida.
5. Sea F una frmula de L y x1 , . . . , xn las variables libres de F. Entonces, F es satisfacible syss x1 . . . ( xn ) F es satisfacible.
Ejercicio 6.24 Sea S = {yR( x, y), y f ( x, y) = y}. Determinar si (I , A) es una realizacin de S
1. I = (N, I ), R I = , f I = +, A( x ) = 0.
2. I = (N, I ), R I = <, f I = +, A( x ) = 0.
Ejercicio 6.25 Sea S = { R(e, y), f (e, y) = y}. Determinar si (I , A) es un modelo de S
1. R I = , f I = +, e I = 0.
2. I = (N, I ) con R I = <, f I = +, e I = 0.
Ejercicio 6.26 Determinar si los siguientes conjuntos son consistentes:
1. S = {yR( x, y), y f ( x, y) = y}.
2. S = { P( x ) Q( x ), yP(y), Q( x )}.
Ejercicio 6.27 Decidir si se verican las siguientes relaciones de consecuencia lgica:
1. xP( x ) |= P(y).
2. P(y) |= xP( x ).
3. { x ( P( x ) Q( x )), P(c)} |= Q(c).
4. { x ( P( x ) Q( x )), Q(c)} |= P(c).
5. { x ( P( x ) Q( x )), Q(c)} |= P(c).
6. { P(c), P(d)} |= c = d.
50
6.2.
Ejercicio 6.28 Determinar las variables libres y ligadas de las siguientes frmulas:
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 6.29 Sea F la frmula P( x ) P( a), donde a es un smbolo de constante. Es
F satisfacible? Tiene modelos? Es F una frmula vlida?
Ejercicio 6.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},
I ( Q) = {( a, b), (b, b), (c, b)},
I ( f ) = {( a, b), (b, b), (c, a), (d, c)}.
Decidir cules de las siguientes frmulas de L son vlidas en I :
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 ).
Ejercicio 6.31 Cules de los siguientes conjuntos de frmulas son consistentes?
1. { Q( x ), x [ Q( x ) R( x )], x R( x )}
2. { xP( x, y), x P( x, x )}
3. { x y[ P( x, y) P(y, x )], x P( x, x ), yP( x, y)}
Ejercicio 6.32 Decidir si son correctas o no las siguientes relaciones de consecuencia:
1. { x [ P( x ) Q( x )]} |= xP( x ) xQ( x )
2. { x [ P( x ) Q( x )]} |= xP( x ) xQ( x )
3. { xP( x ) xQ( x )} |= x [ P( x ) Q( x )]
51
4. { P( x ) Q( f ( x ))} |= P( x ) Q( x )
Ejercicio 6.33 En el lenguaje con igualdad L = { a, f }, siendo f un smbolo de funcin
de aridad 1 y a una constante, se consideran las siguientes frmulas:
F1 := x [ f ( x ) = a],
F2 := x y[ f ( x ) = f (y) x = y],
F3 := x [ x = a y[ f (y) = x ]].
Probar que ninguna de estas frmulas es consecuencia lgica de las dos restantes.
Ejercicio 6.34 Formalizar las siguientes argumentaciones; es decir, para cada argumentacin, 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.
2. Scrates es un hombre. Los hombres son mortales. Luego, Scrates es mortal.
3. Hay estudiantes inteligentes y hay estudiantes trabajadores. Por tanto, hay estudiantes inteligentes y trabajadores.
4. Todos los participantes son vencedores. Hay como mximo un vencedor. Hay como 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.
8. La existencia de algn canal de TV pblica, supone un acicate para cualquier canal
de TV privada; el que un canal de TV tenga un acicate, supone una gran satisfaccin para cualquiera de sus directivos; en Madrid hay varios canales pblicos de
TV; TV5 es un canal de TV privada; por tanto, todos los directivos de TV5 estn
satisfechos.
52
9. Quien intente entrar en un pas y no tenga pasaporte, encontrar algn aduanero

que le impida el paso. A algunas personas motorizadas que intentan entrar en
un pas le impiden el paso nicamente personas motorizadas. Ninguna persona
motorizada tiene pasaporte. Por tanto, ciertos aduaneros estn motorizados.
10. Los acionados al ftbol aplauden a cualquier futbolista extranjero. Juanito no
aplaude a futbolistas extranjeros. Por tanto, si hay algn futbolista extranjero nacionalizado espaol, Juanito no es acionado al ftbol.
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 internacional lo apoya o se inhibe en absoluto de asuntos polticos. Cualquiera que
se inhiba de los asuntos polticos, no participar en el prximo referndum. Todo 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 caso, 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.
17. En una pecera nadan una serie de peces. Se observa que:
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.
Por tanto, existe algn tiburn en la pecera.
53
18. Supongamos conocidos los siguientes hechos acerca del nmero de aprobados de
dos asignaturas A y B:
a) Si todos los alumnos aprueban la asignatura A, entonces todos aprueban la
asignatura B.
b) Si algn delegado de la clase aprueba A y B, entonces todos los alumnos
aprueban A.
c) Si nadie aprueba B, entonces ningn delegado aprueba A.
d) Si Manuel no aprueba B, entonces nadie aprueba B.
Por tanto, si Manuel es un delegado y aprueba la asignatura A, entonces todos los
alumnos aprueban las asignaturas A y B.
19. En cierto pas oriental se ha celebrado la fase nal del campeonato mundial de ftbol. 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.
Por tanto, algn delantero europeo jug con botas blancas.
20. Las relaciones de parentesco verican la siguientes propiedades generales:
Si x es hermano de y, entonces y es hermano de x.
Todo el mundo es hijo de alguien.
Nadie es hijo del hermano de su padre.
Cualquier padre de una persona es tambin padre de todos los hermanos de
esa persona.
Nadie es hijo ni hermano de s mismo.
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. Por tanto,
Don Luis no es el padre de Manolito.
54
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 mismo 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. Alguien no desprecia a un determinado poltico. Por consiguiente, hay un fantico
al que no todo el mundo desprecia.
24. Slo hay un sosta que ensea gratuitamente, y ste es Scrates. Scrates argumenta mejor que ningn otro sosta. Platn argumenta mejor que algn sosta
que ensea gratuitamente. Si una persona argumenta mejor que otra segunda, entonces la segunda no argumenta mejor que la primera. Por consiguiente, Platn
no es un sosta.
25. Todos los lsofos se han preguntado qu es la losofa. Los que se preguntan qu
es la losofa se vuelven locos. Nietzsche es lsofo. 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.
30. El esposo de la hermana de Toni es Roberto. La hermana de Toni es Mara. Por
tanto, el esposo de Mara es Roberto.
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.
55
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 asturiano.
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 creciente. 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 problemas 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. Aristteles fue discpulo de alguien cuyo maestro fue Scrates. Por consiguiente, Platn
fue el maestro de Aristteles.
45. Nadie tiene ms de un discpulo. Un autodidacta es aquel que ha sido maestro
de s mismo. Platn fue discpulo de un autodidacta. Por tanto, Platn fue un
autodidacta.
56
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.
48. Si dos personas x e y son amigas, entonces x es amiga de la pareja de y. La pareja
de Juan es amiga de Eva. Si x es amiga de y, entonces y es amiga de x. La pareja
de la pareja de x es x. Por tanto, Juan es amigo de Eva.
49. Alguien que vive en la casa del crimen ha asesinado a la ta gata. gata, el mayordomo 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.
Ejercicio 6.35 Se considera el lenguaje de primer orden L = { P, f } y las frmulas de L:
F1 : x yP( x, f (y)), F2 : y xP( x, f (y)) y F3 : y xP( x, y).
1. Hallar una L estructura, I , tal que I |= F1 pero I |= F2 .
2. Hallar una L estructura, I , tal que I |= F3 pero I |= F2 .
Ejercicio 6.36 Se considera el lenguaje de primer orden L = { a, f , P, Q, R} y el conjunto
de frmulas de L
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))}
57
Construir razonadamente un modelo I de S cuyo universo sea U = {1, 2, 3, 4, 5}.

Ejercicio 6.37 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 6.38 Sea L un lenguaje de primer orden con un smbolo de predicado P de
aridad 2.
1. Probar que las frmulas x yP( x, y) y x yP( x, y) no son equivalentes, dando
una estructura que sea modelo de la primera pero no de la segunda.
2. En la estructura I = (U, I ) cuyo universo es U = { a, b, c} y P I = {( a, a), ( a, b), ( a, c)},
cules de las siguientes frmulas se satisfacen y cules no?
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)]
1. Para toda frmula F, toda subfrmula G de F y toda variable libre x de G, se tiene
que x es una variable libre de F.
2. Para toda frmula F y toda frmula G, se tiene x [ F G ] xF xG.
3. Para ninguna frmula F y ninguna frmula G, se tiene x [ F G ] xF xG.
58
Tema 7
Deduccin natural de primer orden
7.1.
Ejercicio 7.1 Sea la sustitucin [ x/ f (y, a), y/z]. Calcular

1. a.
2. w.
3. h( a, x, w).
4. f ( x, y).
5. h( a, f ( x, y), w).
Ejercicio 7.2 Sea la sustitucin [ x/ f (y), y/b]. Calcular
1. ( x ( Q( x ) R( x, y))).
2. ( Q( x ) x R( x, y)).
3. ( x ( Q( x ) y R( x, y))).
Ejercicio 7.3 Decidir si la sustitucin es libre para la frmula F en cada uno de los
siguientes casos:
1. es [y/x ] y F es x ( x < y).
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))).
Ejercicio 7.4 Demostrar mediante deduccin natural
59
60
Tema 7. 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 )]
10.
7.2.
x yP( x, y) y xP( x, y)

1. x [ P( x ) Q( x )]
xP( x ) xQ( x )
2. x P( x )
xP( x )
3. xP( x )
yP(y)
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)]
13. xP( x ) xQ( x )
x [ P( x ) Q( x )]
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 )
61
62
19. P( a) xQ( x )
x [ P( a) Q( x )]
20. x yz[ R( x, y) R(y, z) R( x, z)],
x R( x, x )
x y[ R( x, y) R(y, 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)))
63
7. yQ( a, y),
x y( Q( x, y) Q(s( x ), s(y))
z( Q( a, z) Q(z, s(s( a))))
Ejercicio 7.7 Demostrar por deduccin natural cada una de las argumentaciones vlidas del ejercicio 6.34.
1. xP( x ) xQ( x )
x [ P( x ) Q( x )]
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)
64
11. xP( x ),
x [ P( x ) Q( x ) R( x )],
x Q( x )
xR( x )
12. x y[ R( x, y) R(y, x )],
x y[ R( x, y) R(y, x )]
x yz[ R( x, y) R(y, z) R( x, z)]
13. xP( x )
x P( x )
14. x y[(zR(y, z)) R( x, y)],
x yR( x, y)
x yR( x, y)
15. x [ P( x ) Q( x )] y[ P(y) R(y)],
x [ P( x ) S( x )],
x [ P( x ) R( x )]
x [S( x ) Q( x )]
16.
x y[ P(y, x ) P(y, y)]
17. x [yR( x, y) y[zR(y, z) R( x, y)]],

x yR( x, y)
x yR( x, y)
18. x [ P( x ) y[ Q(y) R( x, y)]],
x [ P( x ) y R( x, y)]
xQ( x )
19. x [ P( x ) yQ(y)]
x y[ P( x ) Q(y)]
20. yz[ x R( x, y) x R( x, z)]
yz x [ R( x, y) R( x, z)]
21. x [ P( x ) y[ P(y) Q(y)]],
xQ( x )
xP( x )
22. x [ P( x ) y[ Q(y) R( x, y)]],
x [ P( x ) y R( x, y)]
x Q( x )
65
23. x y[z[ R(z, y) R( x, z)] R( x, y)],

xR( x, x )
x y[ R(y, x ) R( x, y)]
24. P( a) x R( x ),
x [ R( x ) P( a)]
25. x yz[ P( x, y) P(y, z) R( x, z)],
x yP( x, y)
x yR( x, y)
26. x [ P( x ) (yQ( x, y) yQ(y, x ))],
x [yQ(y, x ) Q( x, x )],
xQ( x, x )
x [ P( x ) y Q( x, y)]
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 )]
Ejercicio 7.9 Se sabe que:
Si todo el que estudia aprueba, entonces todo el que estudia recibe un regalo.
Hay quien estudia y no recibe ningn regalo.
No es verdad que todo el que estudia aprueba.
Formalizar los conocimientos anteriores y probar que el conjunto de frmulas obtenidas es consistente, proporcionando una estructura que sea modelo de cada una de las
frmulas.
66
Tema 8
Tableros semnticos
8.1.
Ejercicio 8.1 Demostrar mediante tableros semnticos

1. { x [ P( x ) Q( x )], xP( x )}
Tab
xQ( x )
2. { x [ P( x ) Q( x )], x [ Q( x ) R( x )]}
Tab
x [ P( x ) R( x )]
Ejercicio 8.2 Refutar mediante tablero semntico
x [ P( x ) Q( x )] |= xP( x ) xQ( x )
y construir un contramodelo a partir del tablero.
8.2.
Ejercicio 8.3 Decidir, mediante tableros semnticos, si los siguientes conjuntos son consistentes:
1. { xQ( x ), x ( Q( x ) R( x )), x R( x )}
2. { P(0), x ( P( x ) P( f ( x )))}
3. { x y( P( x, y) P(y, x )), x P( x, x ), x yP( x, y)}
4. { xQ( x ), xP( x, f ( x )), x P( x, x )}
5. {y xP( x, y), x P( x, x )}
6. { x yP( x, y), x P( x, x )}
67
68
Ejercicio 8.4 Decidir, mediante tableros semnticos, si se verican las siguientes relaciones de consecuencia:
1. { x ( P( x ) Q( x )), y( Q(y) R(y) S( a))} |= x ( P( x ) S( a))
2. { x ( P( x ) Q( x ))} |= xP( x ) xQ( x )
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 ))
Ejercicio 8.5 Probar mediante tableros semnticos:
1. x ( P( x ) Q( x )) xP( x ) xQ( x )
2. x ( P( x ) Q( x )) xP( x ) xQ( x )
3. x ( P( x ) Q( x )) xP( x ) xQ( x )
4. x ( P( x ) Q( x )) xP( x ) xQ( x )
Ejercicio 8.6 Determinar, mediante tableros semnticos, cules de las siguientes frmulas 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 ))
8. x y( P( x, y) z( P(y, z) P(z, y)))
Ejercicio 8.7 Determinar mediante tableros si son ciertas las siguientes armaciones:
1. |= xP( x ) P( a),
2. { x ( P( x ) Q( x )), y( Q( a) R(y) S( a))} |= x ( P( x ) S( a)).
Ejercicio 8.8 Resolver, mediante tableros semnticos, los ejercicios del tema 7.
69
Ejercicio 8.9 [Segundo parcial de 2005] Decidir, mediante tableros semnticos, si

1. xP( x )
y[(zP(z)) P(y)].
2. { xP( x ) xQ( x )}
x [ P( x ) Q( x )].
Ejercicio 8.10 [Tercer parcial de 2010] Decidir, mediante tableros semnticos, si
x ( P( x ) Q( x )) |= xP( x ) xQ( x )
Ejercicio 8.11 [Cuarto parcial de 2010] Decidir, mediante tableros semnticos, si
|= x ( P( x ) R( x, x )) x y( R( x, y) P(y))
Ejercicio 8.12 Decidir, mediante tableros semnticos, si la frmula x y( R( x, y) P(y))
se deduce de la frmula x ( P( x ) R( x, x )).
Ejercicio 8.13 [Tercer parcial de 2011] Demostrar o refutar mediante tableros semnticos
|= x ( P( x ) R( x, x )) x y( R( x, y) P(y))
Ejercicio 8.14 Demostrar o refutar mediate tableros semnticos
x y( R( x, y) R(y, x )) |= x yz( R( x, y) R( x, z) u( R(y, u) R(z, u)))

y en el caso de que no lo sea, encontrar un contramodelo.
70
Tema 9
Formas normales. Clusulas
9.1.
Ejercicio 9.1 Decidir si las siguientes frmulas estn en forma recticada.

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 9.2 Calcular una frmula equivalente en forma recticada para cada una de
las siguientes frmulas:
1. x P( x ) x Q(z, x ).
2. x P( x ) y Q( x, y).
Ejercicio 9.3 Determinar cules de las siguientes frmulas estn en forma normal prenexa:
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 )])
7. z x y [(( P( x ) Q( x )) ( Q(y) R(y))) P(z)]
71
72
Tema 9. Formas normales. Clusulas
Ejercicio 9.4 Calcular una forma normal prenexa 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 )] x [ Q( x ) R( x )] x [ P( x ) R( x )]).
Ejercicio 9.5 Calcular una forma normal prenexa conjuntiva de la frmula
x y [ P( x ) ( Q(y) R(y))].
Ejercicio 9.6 Decidir si los siguientes pares de frmulas son equisatisfacibles y equivalentes:
1. x Q( x ) y Q( a).
2. x y P( x, y) y x P( x, f ( x )).
Ejercicio 9.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 9.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 )).
73
Ejercicio 9.9 Calcular una forma clausal del conjunto de frmulas
{ x [ P( x ) Q( x )], x P( x ), x Q( x )}.
Ejercicio 9.10 Reducir cada uno de los siguientes problemas a un problema de inconsistencia 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 )]
74
Tema 9. Formas normales. Clusulas
Tema 10
Modelos de Herbrand
10.1.
Ejercicio 10.1 Decidir si el conjunto { P( a) P(b), P(b) P(c), P( a) P(c), P(c)} es

consistente y, en el caso de que lo sea, calcular todos sus modelos.
Ejercicio 10.2 Calcular el universo de Herbrand de los lenguajes cuyos conjuntos de
constantes, C , y smbolos de funciones, F son:
1. C = { a, b, c} y F = .
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 10.3 Calcular la base de Herbrand de los lenguajes cuyos conjuntos de constantes, C , smbolos de funciones, F y smbolos de relaciones, R, son:
1. C = { a, b, c}, F = y R = { P/1}.
2. Si C = { a}, F = { f /1} y R = { P/1, Q/1, R/1}.
Ejercicio 10.4 Sea S = { P( a) P(b), P(b) P(c), P( a) P(c), P(c)}. Calcular:
1. el universo de Herbrand de S,
2. la base de Herbrand de S y
3. los modelos de Herbrand de S.
Ejercicio 10.5 Sea S = { x y [ Q(b, x ) P( a) R(y)], P(b) z u Q(z, u)}.
Calcular:
75
76
Tema 10. 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 10.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 denida 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.
2. Calcular la interpretacin de Herbrand I correspondiente a I .
Ejercicio 10.7 Sea S el conjunto de clusulas {{ P( a)}, { Q(y, f ( a))}} e I = (U, I ) la estructura con universo U = {1, 2} e interpretacin I denida por a I = 1, f I = {(1, 2), (2, 1)},
P I = {1} y Q I = {(1, 2), (2, 2)}.
2. Calcular la interpretacin de Herbrand I correspondiente a I .
Ejercicio 10.8 Sea S = { x P( x ), P( a)}.
1. Comprobar que S es consistente.
2. Comprobar que S no tiene modelo de Herbrand.
3. Calcular un conjunto de clusulas S equisatisfacible con S (es decir, una forma
clausal de S).
4. Calcular un modelo de Herbrand de S .
Ejercicio 10.9 Sea C la clusula { P( x, a), P( x, f (y))} y la sustitucin [ x/a, y/ f ( a)].
Calcular la instancia C de C.
Ejercicio 10.10 Sea C la clusula { P( x, a), P( x, f (y))}. Decidir si las siguientes clusulas son instancias bsicas de C:
1. { P( f ( a), a), P( f ( a), f ( f ( a)))}.
2. { P( f ( a), a), P( f ( f ( a)), f ( a))}.
77
3. { P( x, a), P( f ( f ( a)), f ( a))}.

Ejercicio 10.11 Calcular la extensin de Herbrand de cada uno de los siguientes conjuntos de clusulas:
1. S1 = {{ P( x )}, { P( f ( x ))}}.
2. S2 = {{ P( x ), Q( x )}, { P( a)}, { Q(z)}}.
3. S3 = {{ P( x ), Q( x )}, { Q(y), R(y)}, { P( a)}, { R( a)}}.
Ejercicio 10.12 Mediante el procedimiento de semidecisin basado en el teorema de
Herbrand, decidir la inconsistencia de los siguientes conjuntos de clusulas:
1. S1 = {{ P( x ), Q( x )}, { P( a)}, { Q(z)}}.
2. S2 = {{ P( x ), Q( x )}, { Q(y), R(y)}, { P( a)}, { R( a)}}.
3. S3 = {{ P( x )}, { P( f ( x ))}}.
Ejercicio 10.13 Sea S el conjunto de clusulas {{ P( x ), Q( f ( x ), x )}, { P( g(b))}, { Q(y, z)}}.
Calcular un subconjunto nito de la extensin de Herbrand de S que sea inconsistente.
78
Tema 10. Modelos de Herbrand
Tema 11
Clusulas. Modelos de Herbrand.
Resolucin
11.1.
Ejercicio 11.1 Demostrar por resolucin

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 )]
Ejercicio 11.2 Decidir si la sustitucin es un unicador de los trminos t1 y t2 en cada

uno de los siguientes casos, calculando una instancia comn:
1
2
3
4
5
6
t1
t2
f ( x, g(z)) f ( g(y), x )
f ( x, g(z)) f ( g(y), x )
f ( x, g(z)) f ( g(y), x )
f ( x, y)
f (y, x )
f ( x, y)
f (y, x )
f ( x, y)
f (y, x )
[ x/g(z), y/z]
[ x/g(y), z/y]
[ x/g( a), y/a]
[ x/a, y/a]
[y/x ]
[ x/y]
Ejercicio 11.3 Calcular la composicin de las siguientes sustituciones

1 = [ x/ f (z, a), y/w] y 2 = [ x/b, z/g(w)].
Ejercicio 11.4 Comparar los siguientes pares de sustituciones:
1. 1 = [ x/g(z), y/z] y 2 = [ x/g(y), z/y].
2. 1 = [ x/g(z), y/z] y 3 = [ x/g( a), y/a].
3. 2 = [ x/g(y), z/y] y 3 = [ x/g( a), y/a].
79
80
Tema 11. Clusulas. Modelos de Herbrand. Resolucin
4. 4 = [ x/a, y/a] y 5 = [y/x ]

Ejercicio 11.5 Determinar si las siguientes parejas de trminos son unicables y, en el
caso de que lo sean, calcular un unicador de mxima generalidad:
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 ).
5. j(w, a, h(w)) y j( f ( x, y), x, z).
6. j(w, a, h(w)) y j( f ( x, y), x, y).
7. f ( a, y) y f ( a, b).
Ejercicio 11.6 Calcular una separacin de variables de las clusulas
C1 = { P( x ), Q( x, y)} y C2 = { R( f ( x, y))}.
Ejercicio 11.7 Calcular una resolvente binaria de las clusulas
C1 = { P( x ), Q( f ( x ))} y C2 = { Q( x ), R( g( x ))}.
Ejercicio 11.8 Calcular un factor de la clusula { P( x, y), P(y, x ), Q( a)}.
Ejercicio 11.9 Demostrar por resolucin que los siguientes conjuntos de clusulas son
inconsistentes:
1. S1 = {{ P( x, f ( x, y))}, { P( a, z), Q(z, v)}, { Q(u, a)}}.
2. S2 = {{ P( x )}, { P( f ( x ))}}.
3. S = {{ P( x, y), P(y, x )}, { P(u, v), P(v, u)}}.
Ejercicio 11.10 Demostrar, por resolucin,
1. { x [ P( x ) Q( x )], x P( x )}
Res
x Q ( x ).
2. { x [ P( x ) Q( x )], x [ Q( x ) R( x )]
3.
Res
Res
x [ P( x ) R( x )]}.
x [ P( x ) y P(y)].
4.
Res
x y ( P(y, x ) P(y, y)).
Ejercicio 11.11 (Paradoja del barbero de Russell) En una isla pequea hay slo un barbero. El gobernador de la isla ha publicado la siguiente norma:
11.2. Ejercios propuestos
81
El barbero afeita a todas las personas que no se afeitan a s misma y slo a dichas
personas.
Demostrar que la norma es inconsistente.
Ejercicio 11.12 Comprobar, por resolucin, que
x [ P( x ) Q( x )] |= x P( x ) x Q( x )
y obtener un contamodelo a partir de la resolucin.
11.2.
Ejercios propuestos
Ejercicio 11.13 Para cada uno de los siguientes pares de trminos determinar si son
unicables y calcular un unicador de mxima generalidad en el caso de que lo sean.
1
2
3
4
5
f ( g ( x ), z )
j( x, y, z)
j( x, z, x )
j( f ( x ), y, a)
j( g( x ), a, y)
f (y, h(y))
j( f (y, y), f (z, z), f ( a, a))
j(y, f (y), z)
j(y, z, z)
j(z, x, f (z, z))
Ejercicio 11.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 11.15 Se consideran las siguientes frmulas
transitiva
simtrica
e
reexiva
notrivial
:=
:=
:=
:=
x
x
x
x
y z [ R( x, y) R(y, z) R( x, z)]
y ( R( x, y) R(y, x ))
R( x, x )
y R( x, y)
1. Demostrar que {transitiva, simtrica} |= reexiva.

e
82
2. Demostrar que {transitiva, simtrica, notrivial} |= reexiva.

e
Ejercicio 11.16 Demostrar, por resolucin, que si toda persona pobre tiene un padre
rico, entonces existe una persona rica que tiene un abuelo rico.
Ejercicio 11.17 Demostrar mediante resolucin cada una de las argumentaciones correctas de la relacin de 50 ejercicios de argumentacin.
Ejercicio 11.18 Los nmeros naturales pueden representarse mediante la constante 0 y
el smbolo de funcin s. Por ejemplo, el nmero 3 se representa por s(s(s(0))). En dicha
representacin puede denirse la relacin suma( x, y, z), que signica que z es la suma
de x e y, mediante el siguiente conjunto de frmulas
T = {y suma(0, y, y),
x y z [suma( x, y, z) suma(s( x ), y, s(z))]}
1. Demostrar por resolucin que T |= x suma(s(0), s(s(0)), x ) y, a partir de la demostracin encontrar un trmino t tal que
T |= suma(s(0), s(s(0)), t).
2. Demostrar por resolucin que T |= x suma( x, s(s(0)), s(s(0))) y, a partir de la
demostracin encontrar un trmino t tal que
T |= suma(t, s(s(0)), s(s(0))).
3. Demostrar por resolucin que T |= x y suma( x, y, s(s(0))) y, a partir de la demostracin encontrar trminos t1 y t2 tales que
T |= suma(t1 , t2 , s(s(0))).
4. Demostrar por resolucin que T |= x y [suma(s(0), x, y) suma( x, y.s(0))] y, a
partir de la demostracin encontrar trminos t1 y t2 tales que
T |= suma(s(0), t1 , t2 ) suma(t1 , t2 .s(0)).
Ejercicio 11.19 Las listas pueden representarse mediante la constante vaca nil, el smbolo de funcin p y constantes atmicas. Por ejemplo,
p(1, p(2, nil )) representa la lista cuyos elementos son 1 y 2,
nil representa la lista vaca,
p( x, y) representa la lista cuyo primer elemento es x y cuyo resto es y,
p( p(1, nil ), p(2, nil )) representa la lista cuyos elementos son las listas p(1, nil ) y
p(2, nil ).
En dicha representacin pueden denirse las relaciones
83
c( x, y, z), que signica que z es la concatenacin de x e y, y

e( x, y), que signica que x es un elemento de y,
mediante el siguiente conjunto de frmulas
T = {y c(nil, y, y),
x y z u [c( x, y, z) c( p(u, x ), y, p(u, z))]
x y [u v c(u, p( x, v), y) e( x, y)]}
1. Demostrar por resolucin que T |= x c( p(1, nil ), p(2, p(1, nil )), x ) y, a partir de la
T |= c( p(1, nil ), p(2, p(1, nil )), t).
2. Demostrar por resolucin que T |= x c( x, p(2, p(1, nil )), p(1, p(2, p(1, nil )))) y, a
partir de la demostracin encontrar un trmino t tal que
T |= c(t, p(2, p(1, nil )), p(1, p(2, p(1, nil )))).
3. Demostrar por resolucin que T |= x y c( x, y, p(2, p(1, nil ))) y, a partir de la
T |= c(t1 , t2 , p(2, p(1, nil ))).
4. Demostrar por resolucin que T |= x e( x, p(2, p(1, nil ))) y, a partir de la demostracin encontrar trminos t tales que
T |= e(t, p(2, p(1, nil ))).
Ejercicio 11.20 Demostrar por resolucin cada una de las argumentaciones vlidas del
ejercicio 6.34.
Ejercicio 11.21 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.
Ejercicio 11.22 Decidir, por resolucin, si la frmula
x y z [ P(z, y) P(z, x )]
es consecuencia lgica de la frmula
y x [ P( x, y) P( x, x )].
Ejercicio 11.23 Se considera el siguiente argumento:
84
Algunas personas admiran a los que tienen bigote. Algunas personas no simpatizan con nadie que admire a los que tienen bigote. Luego algunas personas no son
simpticas a todos.
1. Formalizar el argumento utilizando los smbolos B( x ): x tiene bigote, A( x, y): x
admira y, S( x, y): x simpatiza con y.
2. Dedidir, mediante cualquiera de los mtodos de demostracin estudiados en el
curso, la validez del argumento.
Ejercicio 11.24 Se considera el conjunto
S = { x [ P( x, y) Q(z)], P( x, v), u Q(u)}
1. Probar que S es consistente.
2. Decidir si S tiene o no un modelo, justicando la respuesta.
Ejercicio 11.25 Se consideran las siguientes frmulas:
F1 = x x1 y y1 z z1 P( x, x1 , y, y1 , z, z1 )
F2 = x x1 y y1 z u P(z, x, x1 , y, y1 , u)
F3 = x x1 y y1 z z1 P( x, x1 , y, y1 , z, z1 )
Decidir, por resolucin, las siguientes relaciones. Para las que no se veriquen, dar un
contramodelo.
1.
F1 |= F2
2.
F3 |= F2
|= x [y [ P( x, y) Q(y)] x y [ Q(y) P( x, y)]]

En el caso de que no se verique, obtener un contramodelo a partir de la resolucin.
Ejercicio 11.27 Se considera el siguiente conjunto de frmulas
T = { y P(0, y, y),
x y z [ P( x, y, z) P(s( x ), y, s(z))],
Q (0),
x [ Q( x ) Q(s(s( x )))] }
Demostrar por resolucin lineal que
T |= x y [ P( x, s(y), s(s(0))) Q(s( x ))]
y, a partir de la demostracin encontrar todos los trminos t1 y t2 tales que
T |= P(t1 , s(t2 ), s(s(0))) Q(s(t1 ))
85

x y [z [ P(z, x ) P(z, y)] Q( x, y)] |= x Q( x, x )
Ejercicio 11.29 Se considera el siguiente conjunto de frmulas
T = { x z R( x, p( x, z)),
x y z [ R( x, z) R( x, p(y, z))]}
Demostrar por resolucin lineal que
T |= x R( x, p( a, p(b, nil )))
y, a partir de la demostracin encontrar todos los trminos t tales que
T |= R(t, p( a, p(b, nil )))
|= x [ P( x ) Q( x )] x P( x x Q( x ))
Ejercicio 11.31 Se considera el siguiente argumento:
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.
Decidir, utilizando el mtodo de resolucin, si el argumento es vlido. Si no es vlido
encontrar una interpretacin en la que las premisas sean todas verdaderas y la conclusin sea falsa.
(N OTA : En la formalizacin, usar el siguiente vocabulario D ( x ) signica que x est deprimido, S( x ) signica que x es submarinista, L( x ) signica que x es listo y E( x, y)
signica que x estima a y.)
Ejercicio 11.32 Consideremos los dos siguientes enunciados en castellano
E1 : Algunos robots slo obedecen a los amigos del programador jefe.
E2 : Todos los robots obedecen a los amigos del programador jefe.
y las cuatro frmulas que siguen
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)]]
86
F4 : x y [ P( x ) ( R( x, y) S(y, c))]
1. En una interpretacin adecuada, dos de las frmulas formalizan E1 y las otras
dos formalizan E2 . Explicar cul es la interpretacin y cules son las frmulas que
corresponden a cada uno de los dos enunciados.
2. Demostrar, calculando sus forma clausales, que las dos frmulas correspondientes
a E1 son lgicamente equivalentes. Hacer lo mismo con las dos frmulas correspondientes a E2 .
3. Consideremos ahora los nuevos enunciados:
E3 : Alvaro es amigo del programador jefe, pero Benito no le obedece.
E4 : Benito no es un robot.
Demostrar, mediante resolucin, que E4 es consecuencia de E2 y E3 .
Ejercicio 11.33 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.
2. No hay ningn pez que se coma a todos los dems.
3. Ningn pez protege a ningn otro.
Decidir, utilizando el mtodo de resolucin, si de las observaciones se deduce que existe
algn tiburn en la pecera.
(N OTA : En la formalizacin, usar el siguiente glosario C ( x, y) signica que x se come
a y, P( x, y) signica que x protege a y y T ( x ) signica que x es un tiburn.)
|= x y z [( P(y) Q(z)) ( P( x ) Q( x )))]

1. Para todo conjunto de frmula S y para toda frmula F se verica que si S |= F
entonces S |= F.
2. Para toda frmula F se tiene que si G es una forma de Skolem de F entonces |=
F G.
Ejercicio 11.36 Se sabe que:
87
Si todo el que estudia aprueba, entonces todo el que estudia recibe un regalo.
Hay quien estudia y no recibe ningn regalo.
No es verdad que todo el que estudia aprueba.
Formalizar los conocimientos anteriores y probar que el conjunto de frmulas obtenidas es consistente, proporcionando una estructura que sea modelo de cada una de las
frmulas.
x y [( R( x, y) P( x, y)) z w [ R(z, w) Q(z, w)]]
es consecuencia lgica de
x y [ Q( x, y) P( x, y)]
Ejercicio 11.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.
si
|= x y [ P( x, y) x y P( x, y)].
Obtener un contramodelo en el caso de que no sea vlida.
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.
si
{ x P( x ) x Q( x )} |= x [ P( x ) Q( x )]
Ejercicio 11.42 Sean S1 y S2 los conjuntos de frmulas
S1 = { x y [ P( x, y) P(y, x )],
S2 = { x Q( x ),
x P( x, x ),
x [ Q( x ) R( x )],
x y P( x, y)}
x R( x )}
e I1 = (U1 , I1 ), I2 = (U2 , I2 ) las interpretaciones tales que
88
U1 = { a, b}
I1 ( P) = {( a, b), (b, a)}
I1 ( Q) = { a, b} I1 ( R) = {b}
U2 = { a, b, c} I2 ( P) = {( a, b), (b, c), (c, a)} I2 ( Q) = {b}
I2 ( R) = { a}
Para cada uno de los conjuntos S1 y S2 determinar cules de las interpretaciones I1 e I2
es modelo de dicho conjunto.
Ejercicio 11.43 Decidir cules de las siguientes armaciones 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 )
Ejercicio 11.44 Sea L un lenguaje de primer orden con un smbolo de predicado P de
aridad 2.
(a) Probar que las frmulas x y P( x, y) y x y P( x, y) no son equivalentes dando
una estructura que sea modelo de la primera pero no de la segunda.
(b) En la estructura M cuyo universo es | M| = { a, b, c} y P M = {( a, a), ( a, b), ( a, c)},
cules de las siguientes frmulas se satisfacen y cules no?
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)]
Ejercicio 11.45 Sabemos que
1. Cualquiera que estudie lo suciente aprueba todas las asignaturas.
2. Cuando alguien que celebra su cumpleaos en julio ha aprobado todas las asignaturas, se le obsequia con un regalo.
3. Quien recibe un regalo sin estudiar lo suciente, nunca es obsequiado con un mvil.
4. Pablo es un alumno que, a pesar de no estudiar lo suciente, recibi un mvil
como regalo.
Se pide:
89
(a) Formalizar los conocimientos anteriores teniendo en cuenta que los predicados
del texto se representan as: C ( x ) = x celebra su cumpleaos en julio; A( x ) =
x ha aprobado todas las asignaturas; S( x ) = x estudia lo suciente; R( x, y) =
x recibe el regalo y. Y las constantes a y b representan respectivamente a Pablo
y al mvil.
(b) Obtener el conjunto de clusulas de las frmulas anteriores y probar que es inconsistente 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 11.46 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 11.47 Consideremos los siguientes hechos acerca de la sucesin de los integrantes de la monarqua inglesa:
1. El primognito de un rey hereda la corona de dicho rey.
2. Si alguien derrota a un rey entonces hereda su corona.
3. Si alguien hereda la corona de un rey entonces se convierte en rey.
4. Enrique VIII era el primognito de Enrique VII.
5. Ricardo III era rey y Enrique VII derrot a Ricardo III.
Se pide:
(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.
90
Ejercicio 11.48 Se considera el lenguaje L1 = { P, f , a, b} y el conjunto de frmulas:

S = { x [ P( a, x ) P(b, f ( x ))],
x [ P( f ( x ), x ) z P(z, b)],
P( a, f ( a)) P( f (b), b)}
Probar, proporcionando un modelo de Herbrand, que S |= x [ P( x, a) P( f ( x ), b)].
Ejercicio 11.49 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 11.50 Supongamos conocidos los siguientes hechos acerca del nmero de aprobados de dos asignaturas A y B:
1. Si todos los alumnos aprueban la asignatura A, entonces todos aprueban la asignatura B.
2. Si algn delegado de la clase aprueba A y B, entonces todos los alumnos aprueban
A.
3. Si nadie aprueba B, entonces ningn delegado aprueba A.
4. Si Manuel no aprueba B, entonces nadie aprueba 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.
(c) Probar, mediante resolucin, que si Manuel es un delegado y aprueba la asignatura A, entonces todos los alumnos aprueban las asignaturas A y B.
Ejercicio 11.51 Consideramos el lenguaje L1 = { P, f , a, b, c} y el conjunto de frmulas:
S = { P(c, a) z P(z, b), x [ P( f ( x ), x ) z P(z, x )], P(b, c)}
Probar, proporcionando un modelo de Herbrand, que S |= P( f ( a), a) P( f (b), b).
Ejercicio 11.52 Se considera el lenguaje de primer orden L = { P, Q} y las frmulas de
L:
F1 : x [ P( x ) Q( x )].
F2 : x P( x ) x Q( x ),
F3 : x y [ P( x ) Q(y)]
91
1. Hallar una L estructura I tal que I |= F2 pero I |= F1 .

2. Probar que todo modelo de F1 es modelo de F2 .
3. Probar que F2 y F3 son lgicamente equivalentes.
Ejercicio 11.53 En cierto pas oriental se ha celebrado la fase nal del campeonato mundial de ftbol. 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.
Se pide:
1. Formalizar los enunciados anteriores en un lenguaje de primer orden usando los
siguientes smbolos de predicado: P( x ): x es portero, D ( x ): x es delantero europeo, N ( x ): x viste camiseta negra, B( x ): x juega con botas blancas, M( x, y):
x marc un gol a y.
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.
Ejercicio 11.54 Se conocen los siguientes hechos:
1. Todos los ordenadores son mquinas.
2. El TX150 es un ordenador.
3. Flix puede arreglar, o bien estropear, cualquier mquina.
4. Cada cosa puede ser arreglada por alguien.
5. Las cosas solamente desesperan a quienes no son capaces de arreglarlas.
6. El TX150 desespera a Flix.
7. Ninguna mquina puede ser arreglada por s misma.
Se pide:
92
(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 11.55 Las relaciones de parentesco verican la siguientes propiedades generales:
Si x es hermano de y, entonces y es hermano de x.
Todo el mundo es hijo de alguien.
Nadie es hijo del hermano de su padre.
Cualquier padre de una persona es tambin padre de todos los hermanos de esa
persona.
Nadie es hijo ni hermano de s mismo.
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:
1. Formalizar los conocimientos anteriores en un lenguaje de primer orden usando
tan solo:
A, L, a, m como constantes para D. Antonio, D. Luis, Antoito y Manolito,
respectivamente.
Los predicados: Her( x, y) = x es hermano de y, Hijo( x, y) = x es hijo de
y.
2. Obtener una forma clausal para el conjunto de frmulas obtenido en el apartado
1.
3. Decidir mediante resolucin si Don Luis es el padre de Manolito o no.
Bibliografa
[1] J.A. Alonso Temas de "Lgica matemtica y fundamentos"(2008-09) (Univ. de Sevilla,
2012).
[2] C. Badesa, I. Jan y R. Jansana Elementos de lgica formal (Ariel, 2000)
[3] M. BenAri Mathematical Logic for Computer Science (2nd ed.) (Springer, 2001)
[4] R. Bornat Using ItL Jape with X (Department of Computer Science, QMW, 1998).
[5] C.L. Chang y R.C.T. Lee Symbolic Logic and Mechanical Theorem Proving (Academic
Press, 1973).
[6] J. Cuena Lgica Informtica (Alianza Ed., 1985)
[7] J.A. Dez Iniciacin a la Lgica (Ed. Ariel, 2002)
[8] J.L. Fernndez, A. Manjarrs y F.J. Dez Lgica computacional. (UNED, 2003)
[9] M. Fitting FirstOrder Logic and Automated Theorem Proving (2nd ed.) (Springer,
1996)
[10] J.H. Gallier Logic for computer science (foundations of automatic theorem Proving) (June
2003)
[11] M. Genesereth Computational Logic (Stanford University, 2003)
[12] S. Hlldobler Computational logic. (U. de Dresden, 2004)
[13] Hortal, M.T.; Leach, J. y Rogrguez, M. Matemtica discreta y lgica matemtica (Ed.
Complutense, 1998)
[14] M. Huth y M. Ryan Logic in Computer Science: Modelling and Reasoning about Systems
(Cambridge University Press, 2000)
[15] M. Manzano y A. Huertas Lgica para principiantes (Alianza editorial, 2004)
[16] Nerode, A. y Shore, R.A. Logic for Applications (Springer, 1997)
93
94
Bibliografa
[17] R. Nieuwenhuis Lgica de primer orden. (U. Politnica de Catalua, 2003)

[18] N.J. Nilsson Inteligencia articial (Una nueva sntesis) (McGrawHill, 2001).
[19] M. Ojeda e I. Prez de Guzmn Lgica para la computacin (gora, 1997)
[20] E. Paniagua, J.L. Snchez y F. Martn Lgica computacional (Thomson, 2003)
[21] L. Paulson Logic and proof (U. Cambridge, 2002)
[22] U. Schning Logic for Computer Scientists, (Birkuser, 1989)

Ejercicios LMF 2011 12 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicios LMF 2011 12 PDF

Cargado por

Copyright:

Formatos disponibles

Ejercicios de Lgica matemtica y

Grupo de Lgica Computacional

Esta obra est bajo una licencia ReconocimientoNoComercialCompartirIgual 2.5 Spain

9. Formas normales. Clusulas

Tema 1. Sintaxis y semntica de la lgica proposicional

Ejercicio 1.4 Para la siguiente frmula

1.1. Ejercicios resueltos

Ejercicio 1.12 Demostrar las equivalencias lgicas que aparecen en la transparencia 20

Tema 1. Sintaxis y semntica de la lgica proposicional

Ejercicio 1.13 Demostrar que F G syss |= F G.

1.2. Ejercicios propuestos

2. Si hay corriente y la lmpara no est fundida, entonces est encendida. La lmpara

Tema 1. Sintaxis y semntica de la lgica proposicional

1.2. Ejercicios propuestos

Tema 1. Sintaxis y semntica de la lgica proposicional

Ejercicio 1.34 Demostrar o refutar las siguientes proposiciones:

Ejercicio 2.1 Probar mediante deduccin natural:

Tema 2. Deduccin natural proposicional

Ejercicio 2.2 Demostrar la adecuacin de las reglas de deduccin natural:

4. Ley del tercio excluido:

Ejercicio 2.4 Demostrar las equivalencias lgicas que aparecen en la transparencia 20

2.2. Ejercicios propuestos

Ejercicio 2.5 Probar mediante deduccin natural:

Tema 2. Deduccin natural proposicional

2.2. Ejercicios propuestos

Tema 2. Deduccin natural proposicional

2.2. Ejercicios propuestos

((s ( p q))) ( p q s).

Tema 2. Deduccin natural proposicional

Tema 3. Tableros semnticos

Ejercicio 3.5 Demostrar o refutar las siguientes proposiciones:

3.2. Ejercicios propuestos

Ejercicio 3.11 Probar, usando tableros semnticos, que la frmula

Tema 3. Tableros semnticos

1. Probar que A |= B, mediante tableros semnticos.

3.2. Ejercicios propuestos

Ejercicio 3.26 Decidir, mediante tablero semntico, si

Tema 3. Tableros semnticos

Ejercicio 3.33 Sea F la frmula

(( p q) ( p q)) ((( p q) ((q r ) p)) (r (q p)))

Tema 4. Formales normales

2. L1 Ln es una tautologa syss { L1 , . . . , Ln } contiene algn par de literales

4.2. Ejercicios propuestos

Tema 4. Formales normales

Ejercicio 4.15 Sea A la frmula proposicional p q p r.

4.2. Ejercicios propuestos

Ejercicio 4.19 Probar, usando formas normales, que la frmula

Ejercicio 4.23 Demostrar o refutar las siguientes proposiciones:

Tema 4. Formales normales

Ejercicio 5.1 Demostrar las siguientes proposiciones:

Tema 5. Resolucin proposicional

Ejercicio 5.5 Decidir si la interpretacin I tal que I ( p) = I (q) = 1 es un modelo del

Ejercicio 5.8 Demostrar que { F1 , . . . , Fn } es consistente syss S1 Sn es consistente.

a Res({ p, q}, { p, q})?

5.1. Ejercicios resueltos

Ejercicio 5.13 Demostrar las siguientes proposiciones:

Ejercicio 5.14 [T]

Tema 5. Resolucin proposicional

2. Los mamferos que tienen pezuas o que rumian son ungulados.

Ejercicio 5.21 Indicar en cules de los siguientes ejemplos se ha aplicado correctamente

es una resolvente de { p, q} y { p, q}.

4. {r, r } es una resolvente de {r, r } y {r, r }.

5.2. Ejercicios propuestos