Logique Quantificateurs Quantificateur existentiel

précédent

 suivant détail détail

Quantificateur existentiel : existe

existe x E, P(x) : dans E, il existe au moins un élément x qui vérifie la propriété P.
Attention, il peut aussi en exister plusieurs. (On affirme seulement que l'ensemble des éléments de E qui vérifie la propriété P est non vide).

La propriété existe x  E, P(x) ne dépend pas de x, elle signifie exactement la même chose que existe y  E, P(y). La variable x est une variable muette.