L ÓGICA (G RUPO 1) Examen final de junio (Asignatura completa)

Curso 2020-2021

Examen resuelto

Pregunta 1 (1 punto) Formaliza el siguiente argumento usando lógica proposicional: “O

vas al cine o te quedas en casa. Solo si vas al cine llamas a Pedro. Si estás enfermo, te
quedas en casa. Por tanto, si no llamas a Pedro es que estás enfermo”.

p: vas al cine
q: te quedas en casa
r: llamas a Pedro
s: estás enfermo
Formalización: {p ∨ q, r → p, s → q} |= ¬r → s
Nota: Si la disyunción “O vas al cine o te quedas en casa” se entiende de forma exclusiva
se puede formalizar por ejemplo como p ↔ ¬q.
Pregunta 2 (1 punto) Formaliza el siguiente enunciado en lógica de predicados de primer
orden: “Todos los amigos de Ana son amigos de Benito”. Utiliza la constante a para Ana,
b para Benito y el predicado Axy para “x es amigo de y”.
∀x(Axa → Axb)
Pregunta 3 (1 punto) Mediante tablas de verdad, comprueba si la siguiente fórmula es
contingente:
(p ∨ r) ∧ (¬p ∨ r) → (¬r → q).
La fórmula es verdadera en todas las interpretaciones, por lo que no es contingente sino
universalmente válida, tal como muestra la tabla de verdad:
p q r p∨r ¬p ¬p ∨ r (p ∨ r) ∧ (¬p ∨ r) ¬r ¬r → q (p ∨ r) ∧ (¬p ∨ r) → (¬r → q)
1 1 1 1 0 1 1 0 1 1
1 1 0 1 0 0 0 1 1 1
1 0 1 1 0 1 1 0 1 1
1 0 0 1 0 0 0 1 0 1
0 1 1 1 1 1 1 0 1 1
0 1 0 0 1 1 0 1 1 1
0 0 1 1 1 1 1 0 1 1
0 0 0 0 1 1 0 1 0 1

Pregunta 4 (1 punto) Considerar la estructura M = hD, =i con D = {1, 2, 3} y la función

= tal que =(a) = 1, =(Q) = {3}, =(R) = {(1, 1), (1, 3), (2, 1), (2, 2), (2, 3)}. Indicar si son o
no verdaderas en M las fórmulas que se muestran a continuación. Justificar la respuesta
en todos los casos.
(a) ∀x∀y(¬Qx ∧ Qy → Rxy). Esta fórmula es VERDADERA. Teniendo en cuenta que
=(Q) = {3}, el antecedente de ¬Qx ∧ Qy → Rxy solo es verdadero cuando x es 1 o
2 y y es 3. Dado que (1, 3) y (2, 3) están en =(R), en ambos casos Rxy es verdadera,
por lo que la implicación siempre se cumple para cualquier valor de x e y.
(b) ∃x(Rxa ∧ Qx). Esta fórmula es FALSA. Dado que =(Q) = {3}, Qx solo se verifica
para x = 3, pero en tal caso no se cumple Rxa porque (3, 1) no pertenece a =(R).
De modo que ningún valor de x verifica Rxa ∧ Qx.
Pregunta 5 (3 puntos) Mediante tableaux:

(a) Comprueba si la siguiente fórmula es universalmente válida:

((p → q) ∧ ¬q) → (p → r)

En caso de que no lo sea, proporciona una interpretación que la haga falsa.

Para comprobar si es universalmente válida se hace el tableau de la negación:

1. ¬(((p → q) ∧ ¬q) → (p → r))

2. (p → q) ∧ ¬q α,1
3. ¬(p → r) α,1
4. p → q α,2
5. ¬q α,2
6. p α,3
7. ¬r α,3
8. ¬p β,4 9. q β,4
N N
6,8 5,9

La fórmula propuesta es universalmente válida dado que el tableau de su negación

es cerrado.

(b) Comprueba si se cumple:

∀x∃y(P x → Ryx), P a |= ∃xRxa

En caso contrario, ofrece una estructura que haga verdaderas las premisas y falsa la
conclusión.
Hacemos el tableau de las premisas y la negación de la conclusión:

1. ∀x∃y(P x → Ryx) Premisa

2. P a Premisa
3. ¬∃xRxa Negac. concl.
4. ∃y(P a → Rya) γ,1
5. P a → Rba δ,4
6. ¬P a β,5 7. Rba β,5
N
2,6 8. ¬Rba γ,3
N
7,8

Dado que el tableau es cerrado, se verifica la relación de consecuencia lógica.

Pregunta 6 (3 puntos) Demuestra mediante cálculo deductivo natural usando reglas
básicas y derivadas:

(a) q → ¬r, ¬s → r ` q → s
1 q → ¬r Premisa
2 ¬s → r Premisa
3 q HA
4 ¬r MP 1,3
5 ¬¬s MT 2,4
6 s DN 5
7 q→s I→ 3-6

(b) ¬∃x(P x ∧ Qx), ∀xP x ` ¬∃xQx

1 ¬∃x(P x ∧ Qx) Premisa

2 ∀xP x Premisa
3 ∀x¬(P x ∧ Qx) Neg∃ 1
4 Pa E∀ 2
5 ¬(P a ∧ Qa) E∀ 3
6 ¬P a ∨ ¬Qa DM 5
7 ¬Qa SD 4,6
8 ∀x¬Qx I∀ 7
9 ¬∃xQx Neg∃ 8
L ÓGICA (G RUPO 1) Examen final de junio (Parte 1)
Curso 2020-2021

Examen resuelto

Pregunta 1 (2 puntos) Formaliza los siguientes argumentos usando lógica proposicional:

(a) O vas al cine o te quedas en casa. Solo si vas al cine llamas a Pedro. Si estás
enfermo, te quedas en casa. Por tanto, si no llamas a Pedro es que estás enfermo.
p: vas al cine
q: te quedas en casa
r: llamas a Pedro
s: estás enfermo
Formalización: {p ∨ q, r → p, s → q} |= ¬r → s
Nota: Si la disyunción “O vas al cine o te quedas en casa” se entiende de forma
exclusiva se puede formalizar por ejemplo como p ↔ ¬q.

(b) Siempre que tienes hambre y estás cansado tienes sed. Es necesario que tengas
hambre para tener sed. Por tanto, si no estás cansado no tienes sed.
p: tienes hambre
q: estás cansado
r: tienes sed
Formalización: {p ∧ q → r, r → p |= ¬q → ¬r}

Pregunta 2 (1 punto) Mediante tablas de verdad, comprueba si la siguiente fórmula es

contingente:
(p ∨ r) ∧ (¬p ∨ r) → (¬r → q).
La fórmula es verdadera en todas las interpretaciones, por lo que no es contingente sino
universalmente válida, tal como muestra la tabla de verdad:
p q r p∨r ¬p ¬p ∨ r (p ∨ r) ∧ (¬p ∨ r) ¬r ¬r → q (p ∨ r) ∧ (¬p ∨ r) → (¬r → q)
1 1 1 1 0 1 1 0 1 1
1 1 0 1 0 0 0 1 1 1
1 0 1 1 0 1 1 0 1 1
1 0 0 1 0 0 0 1 0 1
0 1 1 1 1 1 1 0 1 1
0 1 0 0 1 1 0 1 1 1
0 0 1 1 1 1 1 0 1 1
0 0 0 0 1 1 0 1 0 1
Pregunta 3 (3 puntos) Mediante tableaux:

(a) Comprueba si la siguiente fórmula es universalmente válida:

((p → q) ∧ ¬q) → (p → r)

En caso de que no lo sea, proporciona una interpretación que la haga falsa.

Para comprobar si es universalmente válida se hace el tableau de la negación:

1. ¬(((p → q) ∧ ¬q) → (p → r))

2. (p → q) ∧ ¬q α,1
3. ¬(p → r) α,1
4. p → q α,2
5. ¬q α,2
6. p α,3
7. ¬r α,3
8. ¬p β,4 9. q β,4
N N
6,8 5,9

La fórmula propuesta es universalmente válida dado que el tableau de su negación

es cerrado.

(b) Comprueba si se cumple:

p → (q → r), q ∧ ¬r |= ¬p

En caso contrario, ofrece una interpretación que haga verdaderas las premisas y
falsa la conclusión.
Hacemos el tableau de las premisas y la negación de la conclusión:

1. p → (q → r) Premisa
2. q ∧ ¬r Premisa
3. ¬¬p Negac. concl.
4. p σ,3
5. q α,2
6. ¬r α,2
7. ¬p β,1 8. q → r β,1
9. ¬q β,8
N
4,7 10. r β,8
N N
5,9 6,10

Dado que el tableau es cerrado, se verifica la relación de consecuencia lógica.

Pregunta 4 (3 puntos) Demuestra mediante cálculo deductivo natural usando reglas
básicas y derivadas:

(a) q → ¬r, ¬s → r ` q → s
1 q → ¬r Premisa
2 ¬s → r Premisa
3 q HA
4 ¬r MP 1,3
5 ¬¬s MT 2,4
6 s DN 5
7 q→s I→ 3-6

(b) p → ¬q, r → t ` p ∨ r → ¬(q ∧ ¬t)

1 p → ¬q Premisa
2 r→t Premisa
3 p∨r HA
4 p HA
5 ¬q MP 1,4
6 ¬q ∨ ¬¬t I∨ 5
7 r HA
8 t MP 2,7
9 ¬¬t DN 8
10 ¬q ∨ ¬¬t I∨ 9
11 ¬q ∨ ¬¬t E∨ 4-6, 7-10
12 ¬(q ∧ ¬t) DM 11
13 p ∨ r → ¬(q ∧ ¬t) I→ 3-12

Pregunta 5 (1 punto) Dado un conjunto de fórmulas proposicionales Γ y una fórmula

α, explica qué supone afirmar Γ |= α y qué relación guarda con Γ ` α. Se valorará la
correcta explicación de la respuesta.

Mediante Γ |= α expresamos que la fórmula α es consecuencia lógica del conjunto de

fórmulas Γ, es decir, que siempre que las fórmulas de Γ sean verdaderas lo será también
α. Dado un cálculo representado mediante `, Γ ` α expresa que α puede ser derivada
en ` tomando como premisas Γ. Si el cálculo ` es correcto, Γ ` α implica que Γ |= α. Si
` es completo, Γ |= α implica Γ ` α.
L ÓGICA (G RUPO 1) Examen final de junio (Parte 2)
Curso 2020-2021

Examen resuelto

Pregunta 1 (2 puntos) Formaliza los siguientes enunciados en lógica de predicados de

primer orden. Utiliza la constante a para Ana, b para Benito y el predicado Axy para “x
es amigo de y”.

(a) Todos los amigos de Ana son amigos de Benito.

∀x(Axa → Axb)

(b) Ana y Benito no tienen amigos comunes.

¬∃x(Axa ∧ Axb)

Pregunta 2 (2 puntos) Considerar la estructura M = hD, =i con D = {1, 2, 3} y la

función = tal que =(a) = 1, =(Q) = {3}, =(R) = {(1, 1), (1, 3), (2, 1), (2, 2), (2, 3)}, =(f ) =
{(1, 1), (2, 3), (3, 2)}. Indicar si son o no verdaderas en M las fórmulas que se muestran
a continuación. Justificar la respuesta en todos los casos.

(a) ∀x∀y(¬Qx ∧ Qy → Rxy). Esta fórmula es VERDADERA. Teniendo en cuenta que

=(Q) = {3}, el antecedente de ¬Qx ∧ Qy → Rxy solo es verdadero cuando x es 1 o
2 y y es 3. Dado que (1, 3) y (2, 3) están en =(R), en ambos casos Rxy es verdadera,
por lo que la implicación siempre se cumple para cualquier valor de x e y.

(b) ∃x(Rxa ∧ Qx). Esta fórmula es FALSA. Dado que =(Q) = {3}, Qx solo se verifica
para x = 3, pero en tal caso no se cumple Rxa porque (3, 1) no pertenece a =(R).
De modo que ningún valor de x verifica Rxa ∧ Qx.

(c) ∀x∃yRyx. La fórmula es VERDADERA, dado que para todo elemento x hay un ele-
mento y tal que (y, x) está en =(R). Por ejemplo para x = 1, existe y = 2 tal que
(y, x) = (2, 1) ∈ =(R). Para x = 2 se puede tomar y = 2 y para x = 3 por ejemplo
y = 1.

(d) ∃x(f (x) = x). Es VERDADERA, dado que f (1) = 1.

Pregunta 3 (3 puntos) Mediante tableaux:

(a) Comprueba si la fórmula ∀x(Qx → ∃yRxy) ∧ ¬∃yRay → Qa es universalmente válida.

En caso de que no lo sea, proporciona una estructura que la haga falsa.
Hacemos el tableau de la negación para comprobar si la fórmula es universalmente
válida:

1. ¬(∀x(Qx → ∃yRxy) ∧ ¬∃yRay → Qa)

2. ∀x(Qx → ∃yRxy) ∧ ¬∃yRay α,1
3. ¬Qa α,1
4. ∀x(Qx → ∃yRxy) α,2
5. ¬∃yRay α,2
6. Qa → ∃yRay γ,4
7. ¬Qa β,6 9. ∃yRay β,6
8. ¬Raa γ,5 10. Rab δ,9
11. ¬Rab γ,5
N
10,11

La rama compuesta por las fórmulas 1–7 queda abierta. Observar que la única cons-
tante que aparece en dicha rama es a, para la que se han instanciado la dos fórmulas
de tipo γ que aparecen (4 y 5). Podemos construir una estructura M = hD, =i que
hace falsa la fórmula propuesta: D = {1}, =(a) = 1, =(Q) = ∅, =(R) = ∅.

(b) Comprueba si se cumple:

∀x∃y(P x → Ryx), P a |= ∃xRxa

En caso contrario, ofrece una estructura que haga verdaderas las premisas y falsa la
conclusión.
Hacemos el tableau de las premisas y la negación de la conclusión:

1. ∀x∃y(P x → Ryx) Premisa

2. P a Premisa
3. ¬∃xRxa Negac. concl.
4. ∃y(P a → Rya) γ,1
5. P a → Rba δ,4
6. ¬P a β,5 7. Rba β,5
N
2,6 8. ¬Rba γ,3
N
7,8

Dado que el tableau es cerrado, se verifica la relación de consecuencia lógica.

Pregunta 4 (3 puntos) Demuestra mediante cálculo deductivo natural:

(a) ∀x(Rx → ¬Qx), ∃xQx ` ∃x¬Rx (solo reglas básicas)

1 ∀x(Rx → ¬Qx) Premisa

2 ∃xQx Premisa
3 Qa HA
4 Ra → ¬Qa E∀ 1
5 Ra HA
6 ¬Qa MP 4,5
7 Qa ∧ ¬Qa I∧ 3,6
8 ¬Ra I¬ 5
9 ∃x¬Rx I∃ 8
10 ∃x¬Rx E∃ 2, 3-9

(b) ¬∃x(P x ∧ Qx), ∀xP x ` ¬∃xQx (reglas básicas y derivadas)

1 ¬∃x(P x ∧ Qx) Premisa

2 ∀xP x Premisa
3 ∀x¬(P x ∧ Qx) Neg∃ 1
4 Pa E∀ 2
5 ¬(P a ∧ Qa) E∀ 3
6 ¬P a ∨ ¬Qa DM 5
7 ¬Qa SD 4,6
8 ∀x¬Qx I∀ 7
9 ¬∃xQx Neg∃ 8