Prueba por Contraposición
Natural & Formal Sciences Dictionary
Definición
Una técnica de demostración que establece una implicación P ⇒ Q probando su contrapositiva ¬Q ⇒ ¬P en su lugar; puesto que la implicación es clásicamente equivalente a su contrapositiva, demostrar ésta basta para concluir la original.