Prouver qu'une proposition PPP entraîne une proposition QQQ.
Choisissez une approche :
En supposant l'hypothèse vraie et en déduisant la conclusion
Démonstration directe d'une implication P⇒QP \Rightarrow QP⇒Q.