Tautología
logica
conceptos
Demostración
Contradicción
Una contradicción se da cuando decir que una premisa es cierta nos lleva a que sea falsa y viceversa $$ p \rightarrow ¬p $$
Tautología
Demostración