Utiliser la contraposée pour démontrer une implication.
Choisissez une approche :
En démontrant la contraposée ¬Q⇒¬P\neg Q \Rightarrow \neg P¬Q⇒¬P
Démonstration d'une implication par sa contraposée.