Contraposée :

La contraposée de est l'énoncé logique Un raisonnement par contraposée (ou par contraposition) amène à démontrer pour démontrer