Allquantor
Auch: Alloperator, Universalquantor, Generalisator. In der Quantorenlogik verwendeter Quantor mit der Bedeutung ‘alle’, ‘für alle gilt’, symbolisch ∀ (manchmal auch ∧Ù), der Individuenvariablen bindet: ∀(x)P(x) “für alle x gilt P(x)”, ∀(x)lustig(x) “für alle x gilt: x ist lustig”. Der Wirkungsbereich eines Allquantors ist die auf diesen folgende Formel und wird ggf. durch Klammern angezeigt ∀(x)(P(x)⊃Q(x)) “Für alle x gilt, wenn P(x), dann Q(x)”. Eine Individuenvariable ist gebunden, genau dann, wenn sie im Wirkungsbereich des betreffenden Quantors liegt.
→ Logik, → Existenzquantor
Lit.: Partee, B.H./Meulen, A. ter/Wall, R.E., Mathematical Methods in Linguistics. 1993. Wessel, H., Logik.41998. MW