Phrase logique, "pour tout", "il existe", négation.
Bonus (à 3’09’') : "P implique Q", implication, négation.

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