SOLUCIONARIO 1 (Ej. 1 y 2, pág.

11)
4.4. Ejercicios de tablas de verdad

1. Determina mediante tablas de verdad si las siguientes fórmulas son tautológicas (T),
contradictorias (C) o indeterminación (I).
1. (p  q)  p (T, 4 unos) 5. (p v q)  (q v p) (T, 4 unos)
2. (p v q)  p (I, 1101) 6. (¬p v ¬q)  ¬(p  q) (T, 4 unos)
3. p  (p v q) (T, 4 unos) 7. p  (¬p  p) (I, 10)
4. (p v q)  p (I, 1101) 8. [(p  q)  r]  ¬[p  (q  r)]
(C, 8 ceros)

2. Comprueba, mediante la realización de la tabla de verdad correspondiente, si son válidos

(V) o no válidos (NV) los siguientes razonamientos:
a) -1 p  q b) -1 ¬p  ¬q c) -1 p  q d) -1q v (q  p)
-2 ¬p ____ -2 ¬p  q__ -2 p  r__ -2¬p
├ ¬q ├ ¬q v p ├q ├ ¬q

e) -1 p  ¬q f) -1 p  q g) -1 p  q h) -1¬p v r
-2 ¬q ____ -2 q  r -2 (q  p)  p -2 q  r
├ ¬p -3 p  r ├q -3 p v q
├r ├r

Recordemos que, para realizar los anteriores ejercicios, previamente hay que
transformar cada uno de los razonamientos en una expresión condicional equivalente.
Dicha fórmula condicional tendrá como antecedente la conjunción de las premisas y
como consecuente la conclusión. En el caso de que haya 3 premisas podemos agruparlas
de este modo (A (BC)) o de este otro ((AB)C)); si hubiera 4 las conjuntamos de
dos en dos, etc. A continuación se expresa el resultado de transformar cada uno de los
anteriores razonamientos en su correspondiente fórmula condicional y al lado el resultado
de su tabla de verdad. Recordad, por último, que sólo será válido si es tautológico; si sale
una contradicción o una expresión indeterminada o contingente, será no válido.

a) [(p  q)  ¬p]  ¬q NV, 1101

b) [(¬p  ¬q)  (¬p  q)]  (¬q v p) V, 1111
c) [(p  q)  (p  r)]  q V, 11111111
d) [q v (q  p)  ¬p]  ¬q NV, 1011
e) [(p  ¬q)  ¬q]  ¬p NV, 1011
f) [((p  q)  (q  r))  (p  r)]  r V, 11111111

g) [(p  q)  ((q  p) p))]  q V, 1111

h) [((¬p v r)  (q  r))  (p v q)]  r V, 11111111