Expliciter la quantification implicite, puis écrire la négation

1. « Pour tout réel $x$, $x^2\ge 0$. » Négation : « il existe un réel $x$ tel que $x^2<0$ » (fausse, l'énoncé initial est vrai).
2. « Pour tout entier $n$, $u_n\le 3$. » Négation : « il existe un rang $n$ tel que $u_n>3$ ».
3. « Pour tout entier $n$, si $n$ est multiple de $4$ alors $n$ est pair. » Négation : « il existe un entier multiple de $4$ qui est impair » (fausse).