Logique Quantificateurs Quantificateur existentiel

précédent

suivant résumé résumé

Attention

La propriété " existe x Ø,   P(x)" est fausse quelle que soit la propriété "P", puisque l'ensemble vide ne contient aucun élément.

Remarque

La propriété " existe x E,   P(x)" ne dépend pas de x.
Les expressions " existe x E,   P(x)" et " existe y E,  P(y)" signifient exactement la même chose. Les variables x et y sont ici des variables muettes.