Raisonnement par contraposée

Exercice 751. Montrer que pour tout $n \in \N$, si $n^2$ est impair, alors $n$ est impair.

Exercice 752. Soit $n \in \N$. Montrer que si $n^2-1$ n'est pas divisible par $8$ alors $n$ est pair.

Exercice 753. Montrer que si $x$ est un irrationnel positif, alors $\sqrt{x}$ est un irrationnel.