|
|
 |
 |
 |
|
|
|
|
|
--- Quand deux quantificateurs existentiels se suivent, on peut les échanger sans changer le sens.
--- Quand deux quantificateurs universels se suivent, on peut les échanger sans changer le sens.
--- Quand on inverse l'ordre de deux quantificateurs différents, le sens change.
