Comparer les différentes phrases (sont-elles équivalentes, contraires, quelles sont celles qui impliquent les autres...)
1
\((\forall x) (\exists y)/ (x \leq y)\).
2
\((\forall x) (\forall y) (x \leq y)\).
3
\((\exists x) (\exists y)/(x \leq y)\).
4
\((\exists x)/(\forall y) (x \leq y)\).
5
\((\exists x)/(\forall y) (y<x)\).
6
\((\exists x) (\exists y)/ (y<x)\).
7
\((\forall x) (\exists y)/(x = y)\).