Esta ley lógica puede escribirse formalmente como: formula_1Por ejemplo, la siguiente implicaciónEstá lloviendo, por lo tanto, te espero dentro del teatro.es equivalente a su contrarrecíproco"No" te espero dentro del teatro, por lo tanto, "no" está lloviendo.El contrarrecíproco es una articulación alternativa del "modus tollendo tollens" de la lógica proposicional.