Utiliser des raisonnements indirects : contraposée pour une implication, absurde pour une proposition quelconque.
Choisissez une approche :
En raisonnant par contraposée (prouver ¬P⇒¬H\neg P \Rightarrow \neg H¬P⇒¬H)
On démontre H⇒PH \Rightarrow PH⇒P en prouvant sa contraposée logiquement équivalente ¬P⇒¬H\neg P \Rightarrow \neg H¬P⇒¬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.