quantificateur existentiel
étymologie
locution nominale
traductions
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003
étymologie
Composé du nom quantificateur et de l’adjectif existentiel.
locution nominale
quantificateur existentiel
- (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 ».
- anglais : existential quantifier
Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003