Contrarecíproco

$p \rightarrow q $ es equivalente a $¬q \rightarrow ¬p $ y nuevamente $ ¬(¬p) \rightarrow ¬(¬ q ) $.
Cada expresión es la contrarecipróca de la anterior.
Por su equivalencia, cualquiera de estas expresiones que se demuestre es lo mismo que que demostrar cualquiera de las otras pero a veces es más fácil hacer la demostración de una que de otra.