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

Curso 2020-2021

Nombre y apellidos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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”.
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”.
Pregunta 3 (1 punto) Mediante tablas de verdad, comprueba si la siguiente fórmula es
contingente:
(p ∨ r) ∧ (¬p ∨ r) → (¬r → q).

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)

(b) ∃x(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.

(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.

Pregunta 6 (3 puntos) Demuestra mediante cálculo deductivo natural usando reglas

básicas y derivadas:

(a) q → ¬r, ¬s → r ` q → s

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

NOTA: Las respuestas no solo tienen que ser correctas sino estar bien justificadas. Para
la realización del examen se puede utilizar cualquier tipo de material impreso.
L ÓGICA (G RUPO 1) Examen final de junio (Parte 1)
Curso 2020-2021

Nombre y apellidos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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.

(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.

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

contingente:
(p ∨ r) ∧ (¬p ∨ r) → (¬r → q).

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.

(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.

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

básicas y derivadas:

(a) q → ¬r, ¬s → r ` q → s

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

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.

NOTA: Las respuestas no solo tienen que ser correctas sino estar bien justificadas. Para
la realización del examen se puede utilizar cualquier tipo de material impreso.
L ÓGICA (G RUPO 1) Examen final de junio (Parte 2)
Curso 2020-2021

Nombre y apellidos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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.

(b) Ana y Benito no tienen amigos comunes.

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)

(b) ∃x(Rxa ∧ Qx)

(c) ∀x∃yRyx

(d) ∃x(f (x) = x)

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.

(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.

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

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

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

NOTA: Las respuestas no solo tienen que ser correctas sino estar bien justificadas. Para
la realización del examen se puede utilizar cualquier tipo de material impreso.