En la contraposición de una sentencia, el antecedente y consecuente son invertidos y negados: por lo tanto, la contraposición de formula_1 es, por lo tanto, formula_2.