Tema IV Construye las tablas

#1- (¬p ^ q) #2- ¬ (p → q) Contingencia

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

#3- (p ∨ q) ↔ (¬p ^ ¬q) Contradicción

p q ¬p ¬q (p ∨ q) (¬p ^ ¬q) (p ∨ q) ↔ (¬p  ^ ¬q)
v v f f v f f
v v f f v f f
v f f v v f f
v f f v v f f
f v v f v f f
f v v f v f f
f f v v f v f
f f v v f v f

#4- (p ^ q) ^ (¬p ^ q) Contradicción

p q ¬p ¬q (p ^ q) (¬p ^ ¬q) (p ^ q) ∧ (¬p ^ ¬q)

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

#5 ¬ (¬p → ¬q)
p q ¬p ¬q (¬p → ¬q) ¬(¬p → ¬q)
v v f f v f
v v f f v f
v f f v v f
v f f v v f
Frederic Peña Martinez
f v v f f v
ID: A00098157
f v v f f v
f f v v v f
f f v v v f
#6- (p ^ q) ∨ r
p q r (p ^ q) (p ^ q) ∨ r
v v v v v
v v f v v
v f v f v
v f f f f
f v v f v
f v f f f
f f v f v
f f f f f

#7 (p → q) → r

p q r (p → q) (p → q) → r
v v v v v
v v f v f
v f v f v
v f f f v
f v v v v
f v f v f
f f v v v
f f f v f

Frederic Peña Martinez

ID: A00098157