Phrase logique, quantificateur, "pour tout", "il existe", fonction.
Bonus (à 5’55’') : ordre des quantificateurs "pour tout", "il existe".

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