Quantificateur

Domaine

Intelligence artificielle
Logique formelle
Coulombe

Définition

En logique formelle, un quantificateur est un opérateur logique qui sert, comme son nom l'indique, à quantifier des éléments dans une formule logique.

Les quantificateurs logiques les plus communs sont le quantificateur existentiel (il existe) représenté par le symbole ∃ et le quantificateur universel (pour tout) représenté par le symbole ∀.

Français

quantificateur n.m. (Logique formelle)

Anglais

Quantifier (logic)


source wikipedia