Contraposées

Exercice 612. Montrer que pour tout $n \in \N$, si $n^2$ est impair, alors $n$ est impair.
Exercice 613. Soit $n \in \N$. Montrer que si $n^2-1$ n'est pas divisible par $8$ alors $n$ est pair.
Exercice 614. Montrer que si $x$ est un irrationnel positif, alors $\sqrt{x}$ est un irrationnel.
Exercice 615. Montrer que $a+b \notin \Q \implies a \notin \Q$ ou $b \notin \Q$.