Utiliser des raisonnements indirects : contraposée pour une implication, absurde pour une proposition quelconque.
Choisissez une approche :
En raisonnant par contraposée (prouver )
On démontre $H \Rightarrow P$ en prouvant sa contraposée logiquement équivalente $\neg P \Rightarrow \neg H$.
En raisonnant par l'absurde (supposer le contraire et exhiber une contradiction)
On suppose la négation de la proposition à démontrer, puis on en déduit une contradiction manifeste pour conclure.