Raisonnement direct : méthode (MPSI)

Pour démontrer $P\Rightarrow Q$ : on écrit « Supposons $P$. », on déduit une suite d'assertions vraies, et on aboutit à $Q$.

Exemple : si $a$ et $b$ sont des entiers pairs, $a=2k$, $b=2k'$ avec $k,k'\in\mathbb{Z}$, donc $a+b=2(k+k')$ est pair.