Accueil > Dictionnaire > Définitions du mot « quantificateur existentiel »
Quantificateur existentiel
[kɑ̃tifikatœr ɛgzistɑ̃sjɛl]
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 ».
Étymologie de « quantificateur existentiel »
- (Date à préciser) Composé du nom quantificateur et de l’adjectif existentiel.