Phrase logique, "epsilon", "pour tout", "il existe".
Bonus (à 3’13’') : quantificateurs.

Exo7. Exercices de mathématiques pour les étudiants.
Retrouvez la correction écrite sur http://exo7.emath.fr