Raisonnement par contraposition
Le raisonnement par contraposition est basé sur l'équivalence suivante :
.
Donc, si l'on souhaite montrer l'assertion
, on montre en fait que
i.e, si
est vraie alors
est vraie.
Exemple :
Soit
. Montrer que :
.
Par contraposition ceci est équivalent :
qui est vraie d’après l'exemple précédent.
