Traduire en français, puis écrire la négation des propositions suivantes.
1
\(\forall x\in \R^+,\,\exists~y\in \R,\, y^2=x\).
2
\(\forall x>1,\,\exists~n\in \N,\,x^n\geq 2021\).
3
\(\forall x\in X,\,\forall y\in Y,\, xy=0 \implies (x=0 \ou y=0)\).
4
\(\exists!x \in E,\, f(x)=0\).