suivant : 1.2 Ensembles remonter : 1.1 Logique précédent : 1.1.4.2 Quantificateur existentiel

1.1.5 Négation d'un prédicat

On définit la négation d'un prédicat $P$ de la sorte :

• Si $P$ est de la forme $\forall x, Q$, alors $\neg P$ est $\exists x, \neg Q$
• Si $P$ est de la forme $\exists x, Q$, alors $\neg P$ est $\forall x, \neg Q$