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

Exercice 9 - quantificateurs

• Traduisez en français le prédicat : $\forall x \in R, \exists y \in R, x < y$
• Traduisez en français le prédicat : $\exists y \in R, \forall x \in R, x < y$
• Peut-on permuter les quantificateurs dans un prédicat ?