Objectifs de ce TD

• Comprendre la logique des quantificateurs (∀, ∃).
• Savoir déterminer la vérité d'une assertion mathématique.
• Savoir écrire la négation correcte d'une assertion logique.