suivant : Exercice 12 - valeur remonter : 2.1.2 Calcul des prédicats précédent : Exercice 10 - du

Exercice 11 - négation

Donnez les négations des prédicats suivants :

• $\exists x \in N, x < 1000$
• $\forall x \in N, x < 1000$
• $\exists x \in R, \forall y \in Q, x \not = y$
• $\forall x \in R, \forall y \in R, \exists z \in R, x + y = z$