Le raisonnement par contraposition consiste à prouver p ⇒ q en démontrant ¬q ⇒ ¬p.

Il est utile lorsque la contraposée est plus facile à démontrer que l'implication directe.