quanteur

Définitions

1. 1. 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.']

Synonymes

Formes fléchies