Ejercicios resueltos de Lógica Proposicional

(tomados del examen del 20-06-2013)

EJERCICIO 4. Sabemos que β es tautológica. ¿Qué sabemos de ((α → β) ∧ β) ∨ α?

Solución: Podemos probar que la fórmula ((α → β) ∧ β) ∨ α es, no sólo satisfacible, sino
también universalmente válida. Sea v una interpretación cualquiera. Dado que β es tau-
tológica, v(β) = 1, lo que por evaluación de → implica v(α → β) = 1 y por evaluación de ∧
tenemos v((α → β) ∧ β) = 1. Finalmente, por evaluación de ∨, v(((α → β) ∧ β) ∨ α) = 1.
Dado que v es una interpretación cualquiera, el argumento vale para toda interpretación,
por lo que la fórmula propuesta es válida.
Podemos usar otros métodos como una tabla de verdad. Si β es tautológica, siempre será
verdadera (primera columna). Para α debemos considerar que puede ser verdadera o falsa
(segunda columna):

β α α→β (α → β) ∧ β ((α → β) ∧ β) ∨ α
1 0 1 1 1
1 1 1 1 1

EJERCICIO 5. Árboles semánticos para comprobar la relación de consecuencia:

p ∨ ¬q, ¬(q → ¬r), ¬q ∨ s, s → t ` ¬t ∨ p

Solución: Para comprobar la relación de consecuencia, construimos un árbol semántico

tomando como fórmulas iniciales las premisas y la negación de la conclusión:

1. p ∨ ¬q fórm. inic. (premisa)

2. ¬(q → ¬r) fórm. inic. (premisa)

3. ¬q ∨ s fórm. inic. (premisa)

4. s → t fórm. inic. (premisa)

5. ¬(¬t ∨ p) fórm. inic. (neg. concl.)

6. q [α,2]

7. ¬¬r [α,2]

8. ¬¬t [α,5]

9. ¬p
X
[α,5]
 XXX

 X
X
10. p [β,1] 11. ¬q [β,1]

× Contr. 9 y 10 × Contr. 6 y 11
Dado que el tablero es cerrado, nos proporciona una prueba de la relación de consecuencia
lógica propuesta. 

1
EJERCICIO 6. Deducción:

¬p ∨ ¬q → ¬r, ¬s → t, ¬t ∨ r ` (s ∨ r) ∨ p

Solución:
1 ¬p ∨ ¬q → ¬r Prem.
2 ¬s → t Prem.
3 ¬t ∨ r Prem.
4 ¬t H.A.
5 ¬¬s MT (2,4)
6 s E¬ (5)
7 s∨r I1∨ (6)
8 r H.A.
9 s∨r I2∨ (8)
10 s∨r E∨ (3,4-7,8-9)
11 (s ∨ r) ∨ p I2∨ (10)