quantificateur existentiel
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Opérateur logique utilisé en calcul des prédicats pour indiquer qu'un prédicat est vrai pour au moins un élément d'un ensemble donné.
Termes privilégiés :
- quantificateur existentiel n. m.
- ∃
-
Le quantificateur existentiel est représenté par le symbole ∃ (E retourné) et se lit ainsi : « Il existe (au moins un) ».
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
The english expressions "there is" and "some" are expressed in predicate calculus by the existential quantifier, ((...)), with a variable incorporated ((...)). A quantifier is said to blind occurrences of the variable which fall within its scope.
Termes :
- existential quantifier
- ∃
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- quantificador existencial n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- cuantificador existencial s. m.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- quantificador existencial s. m.