Instituto

Universitario
Jesús
Obrero

EJERCICIOS 5% - TABLA DE LA VERDAD

A continuación, se le presentan 15 ejercicios de forma simbólica que deberá realizar:

a. Tabla de la verdad de cada ejercicio.
b. Indica que tipo de forma proposicional es (Tautología (T) – Contingencia (K) – Contradicción (C)).
c. Deberá enviar sus resultados debidamente identificado (Keyberson, Ortiz, “C”) en formato
PDF, no se aceptará otro tipo de entrega.

1. [(p ^ ¬q) v ¬r] → q =K

p q ¬q ¬r p ^ ¬q (p ^ ¬q) v ¬r [(p ^ ¬q) v ¬r] → q

v v f f f f f
v v f v f v v
v f v f v v v
v f v v v v v
f v f f f f f
f v f v f v v
f f v f f f v
f f v v f v v

2. [(¬r v q) ^ (r v ¬p)] ↔ ¬r = K

p ¬p q r ¬r ¬r v q
r v ¬p (¬r v q) ^ (r v ¬p) [(¬r v q) ^ (r v ¬p)] ↔ ¬r
v f v v f v v v f
v f v f v v f f f
v f f v f f v f v
v f f f v v f f f
f v v v f v v v f
f v v f v v v v v
f v f v f f v f v
f v v f v v v v v
3. [(¬p → q) → ¬r] v (¬q → r) = K

p ¬p q ¬q r ¬r
¬p → q (¬p → q) → ¬r ¬q → r [(¬p → q) → ¬r] v (¬q → r)

v f v f v f v v v v
v f v f f v v v v v
v f f v v f v v v v
v f f v f v v v f v
f v v f v f v v v v
f v v f f v v v v v
f v f v v f f v v v
f v f v f v f f f f

4. [(q ↔ p) ^ ¬q] → (p ^ ¬q) =K

p q ¬q
q↔p q ↔ p(q ↔ p) ^ ¬q p ^ ¬q [(q ↔ p) ^ ¬q] → (p ^ ¬q)
v v f v f f v
v f v f f v v
f v f f f f v
f f v v v f f

5. [(¬p → q) → ¬r] v [ ¬q → r] =K

p ¬p q ¬q r ¬r
¬p → q (¬p → q) → ¬r ¬q → r ¬q → r[(¬p → q) → ¬r] v
[ ¬q → r]
v f v f v f v v v v
v f v f f v v v v v
v f f v v f v v v v
v f f v f v v v f v
f v v f v f v v v v
f v v f f v v v v v
f v f v v f f v v v
f v f v f v f f f f

6. [¬p ^ (p v q)] ^ (p ↔ q) =C

p ¬p q
pvq p v q[¬p ^ (p v q)] p↔q p ↔ q[¬p ^ (p v q)] ^ (p ↔ q)
v f v v f v f
v f f v f f f
f v v v v f f
f v f f f v f
7. [(p ^ ¬q) → q] ↔ (p → q)

p q ¬q
p ^ ¬q (p ^ ¬q) → q p→q [(p ^ ¬q) → q] ↔ (p → q)
v f f v v v v
v f v f v f f
f v f f f v f
f v v f v v v

8. (p → q) ↔ [(¬p → ¬q)] =K

p ¬p q ¬q
p→q ¬p → ¬q (p → q) ↔ [(¬p → ¬q)]
v f v f v v v
v f f v f v f
f v v f v f f
f v f v v v v

9. [p ^ (p → q)] → q =K

p q
p→q p ^ (p → q) [p ^ (p → q)] → q
v v v v v
v f f f v
f v v f f
f f f f v

10. [(p → q) ^ ¬p] → ¬q =K

p ¬p
v f
v f
f v
f v
q p→q
(p → q) ^ ¬p [(p → q) ^ ¬p] → ¬q
v v f f
f f f v
v v v v
f v v v

11. [(p v q) ] ↔ [(¬p ↔ ¬q)] v r =K

p ¬p q ¬q r
pvq ¬p ↔ ¬q [(p v q) ] ↔ [(¬p ↔ ¬q)] [(p v q) ] ↔
[(¬p ↔ ¬q)] v
r
v f v f v v v v v
v f v f f v v v v
v f f v fv v f f v
v f f v v v f f f
f v v f f v f f v
f v v f f v F f f
f v f v v f v f v
f v f v v f v f v

12. ¬ {[¬p ^ (¬q v p)] → q} =K

p ¬p q ¬q
¬q v p [¬p ^ (¬q v p)] ¬ {[¬p ^ (¬q v p)] → q}
v f v f v f v
v f f v v f f
f v v f f f v
f v f v v v v

13. [(p v q) ^ (p v r)] ↔ [p v (q ^ r)] =T

p q r
pvq pvr [(p v q) ^ (p v r)] q^r [p v (q ^ r)] [(p v q) ^ (p v r)]
↔ [p v (q ^ r)]
v v v v v v v v v
v v f v v v f v v
v f v v v v f v v
v f f v v v f v v
f v v v v v v v v
f v f v f f f f v
f f v f v f f f v
f f f f f f f f v

14. [(p → q) ^ (q → r)] ↔ (p → r) =K

p q r
p→q q→r [(p → q) ^ (q → r)] p→r [(p → q) ^ (q → r)] ↔ (p → r)
v v v v v v v v
v v f v f f f v
v f v f v f v f
v f f f v f f v
f v v v v v v v
f v f v f f v f
f f v v v v v v
f f f v v v v v

15. [(p ^ ¬q) v (p ^ r)] → (q ^ r) =K

p q ¬q r
p ^ ¬q p^r [(p ^ ¬q) v (p ^ r)] q^r [(p ^ ¬q) v (p ^ r)] →
(q ^ r)
v v f v v v v v v
v v f f v f v f f
v f v v v v v f f
v f v f v f v f f
f v f v f f f v v
f v f f f f f f v
f f v v v f v f f
f f v f v f v f f

RECOMENDACIONES:
La práctica hace al maestro.

Prof. Elisette Rodríguez