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