quantificateur universel
- 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 tous les éléments d'un ensemble donné.
Note :
Le quantificateur universel est représenté par le symbole ∀ (A renversé) et se lit ainsi : « pour tout x » ou « quel que soit x ».
Termes privilégiés :
- quantificateur universel n. m.
- ∀
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- universal quantifier
- ∀
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- quantificador universal n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- cuantificador universal 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 universal s. m.