quantifiers

n. Quantor, Wort eine bestimmte Menge ausdrückend (Grammatik)

Ein Quantor ist ein logischer Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Logik.Allen Quantoren gemeinsam ist, dass sie Variablen binden.Die beiden gebräuchlichsten Quantoren sind der Existenzquantor (auch „Einsquantor“, „Existenzialquantifikator“, „Partikularisator“ oder „Manchquantor“) und der Allquantor (auch „Universalquantor“, „Universalquantifikator“ oder „Generalisator“).
Mehr unter Wikipedia.org...