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