Formuler la négation d'une proposition contenant connecteurs et quantificateurs.
Choisissez une approche :
En appliquant les règles de négation des connecteurs et quantificateurs
Écrire la négation en transformant systématiquement ∀\forall∀ en ∃\exists∃, ∃\exists∃ en ∀\forall∀, et en niant les connecteurs logiques.