Cualquier demostración por contraposición también puede formularse trivialmente en términos de una demostración por contradicción: Para demostrar la proposición formula_1, consideramos lo contrario, formula_2.