1Mq la somme de deux nombres pairs est paire
2Démontrer $(P \Rightarrow Q)$ = $(\overline{Q} \Rightarrow \overline{P})$
3Démontrer $g \circ \mathrm{Id}_E$ = $g$
4Raisonnement directe : mq si un entier est pair alors son carré l’est aussi
5Raisonnement par contraposée : un entier est pair si et seulement si son carré est pair
6Raisonnement pas l’absurde : mq $\sqrt{2} \notin \mathbb{Q}$
7Raisonnement par disjonction des cas : mq pour tout entier n >= 0, le nombre n^2 + 5n est pair
8Raisonnement par syllogisme : démontrer que exp est continue
Toute fonction dérivable est continue. Or exp est dérivable donc exp est continue
9Raisonnement par analyse-synthèse :

10Démontrer $f = g$ $\Rightarrow$ $f \circ h = g \circ h$