La prueba por contradicción puede ser útil para probar declaraciones de la forma A =⇒ B, donde ¬B es más fácil de “tener en tus manos”, porque ¬ (A =⇒ B) es lógicamente equivalente a A ¬B (ver Corolar...La prueba por contradicción puede ser útil para probar declaraciones de la forma A =⇒ B, donde ¬B es más fácil de “tener en tus manos”, porque ¬ (A =⇒ B) es lógicamente equivalente a A ¬B (ver Corolario 2.41). En general, si estás intentando probar A =⇒ B usando una prueba por contradicción y terminas con ¬B y B (lo que produce una contradicción), entonces esto es evidencia de que una prueba por contradicción era innecesaria.
