* Soit une fonction $f:\R \rightarrow \R$. Comment traduit-on le fait que $f$ n'est \textbf{pas} strictement croissante sur $\R$~?

+ $\exists x\in\R:\exists y\in\R: x<y \text{ et } f(x)\ge f(y)$
- $\forall x\in\R,\forall y\in\R, x<y \text{ et } f(x)\ge f(y)$
- $\exists x\in\R:\forall y\in\R, x<y \text{ et } f(x)\ge f(y)$
- $\forall x\in\R,\exists y\in\R: x<y \text{ et } f(x)\ge f(y)$
- $\exists x\in\R:\exists y\in\R: x\le y \text{ et } f(x)> f(y)$
- $\forall x\in\R,\forall y\in\R, x\le y \text{ et } f(x)> f(y)$
- $\exists x\in\R:\forall y\in\R, x\le y \text{ et } f(x)> f(y)$
- $\forall x\in\R,\exists y\in\R: x\le y \text{ et } f(x)> f(y)$
 
