Module
Raisonnement par contraposée
- Domaine
- Logique
- Prérequis
- Implication
Raisonnement par contraposée
Propriété Équivalence d’une implication et de sa contraposée
On a \(P\Rightarrow Q\) si, et seulement si, on a \(\neg Q\Rightarrow\neg P\).
Méthode Démonstration par contraposition
Ainsi, pour démontrer l’implication \(P\Rightarrow Q\), il suffit de démontrer sa contraposée \(\neg Q\Rightarrow\neg P\).
Exemple résolu Parité de \(x\) et de son carré réservé aux comptes