Établir qu'une hypothèse $H$ entraîne logiquement une conclusion $P$.
Choisissez une approche :
En supposant HHH vraie et en déduisant PPP par enchaînement logique
Raisonnement direct : on part de l'hypothèse et on déroule une chaîne de déductions jusqu'à la conclusion.