|
|
 |
 |
 |
|
|
|
|
|
L'ordre d'écriture des quantificateurs est fondamental pour le sens d'une phrase formelle. Quand on inverse l'ordre de deux quantificateurs différents, le sens change.
x 
E,
y F,
P(x,y) pour chaque x, il y a un y,
fonction de cet x, tel que la propriété P
est vérifiée.
y F,
x E,
P(x,y) il y a un y, le même pour tous les x,
tel que la propriété P est vérifiée.
