Écrire correctement la négation d'une proposition faisant intervenir des connecteurs logiques et des quantificateurs.
Choisissez une approche :
En échangeant les quantificateurs (∀↔∃\forall\leftrightarrow\exists∀↔∃) et en appliquant les lois de De Morgan
On négation systématiquement en remplaçant $\forall$ par $\exists$ (et inversement) et en transformant $\mathrm{et}/\mathrm{ou}$ d'après De Morgan.