Tablas de verdad
p
(p
¬p)
¬p
V
F
"(p>¬p)>¬p" es una...
Tautología
Contingencia
Contradicción