quanteur

Définitions

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

Étymologie

Dérivé savant du latin quantus (« combien ») et -eur.

Synonymes

Formes fléchies