É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 nie systématiquement en remplaçant ∀\forall∀ par ∃\exists∃ (et inversement) et en transformant et/ou\mathrm{et}/\mathrm{ou}et/ou d'après De Morgan.