Quantificateur existentiel

Définitions de « quantificateur existentiel »

Quantificateur existentiel - Locution nominale

• (Logique) Opérateur, représenté par le symbole ∃ (E retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul ».

  Le quantificateur existentiel ∃ affirme qu'une propriété s'applique à au moins un membre d'un ensemble, marquant ainsi la possibilité plutôt que l'universalité.

Étymologie de « quantificateur existentiel »

(Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel.

Évolution historique de l’usage du mot « quantificateur existentiel » depuis 1800

Sources et ressources complémentaires

• Définitions du Wiktionnaire