Mot : quantificateur existentiel
Catégorie : LocN
Définition : 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) ».
Domaine : Logique