Définitionsquanteur

quanteur

nom masculin
/kɑ̃.tœʁ/
  1. Rare(Logique) Quantificateur, quantifieur.Le quanteur universel I.6 est un signe logique : une paire de parenthèses avec une variable à l’intérieur ; la partie de formule qui le suit et qui généralement contient cette variable sera délimitée par des parenthèses ad hoc, qui serviront à faire reconnaître l’étendue (le scope) de ce quanteur.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.