[Equivalencia lógica de un condicional]
Héctor de Jesús Argueta Villamar,María Juana Linares Altamirano
[Contrarrecíproca]
[Reducción al absurdo]
[Demostración por casos]
Cuantificadores
Métodos de demostración