Existenzquantor
[engl. existential quantifier, frz. quantificateur existentiel, russ. квантор существования, экзистенциальный квантификатор]
Auch: Existenzoperator, Einsquantor, Partikularisator. In der → Quantorenlogik verwendeter → Quantor „für (mindestens) ein x gilt“, symbolisch Ǝ (manchmal auch ∨), der Individuenvariablen bindet: ƎxP(x) „für ein x gilt P(x)“, Ǝx langweilig(x) „für ein x gilt: x ist langweilig“. Der Wirkungsbereich eines Existenzquantors ist die auf diesen folgende Formel und wird ggf. durch Klammern angezeigt Ǝx(P(x)⊃Q(x)) „Für ein x gilt, wenn P(x), dann Q(x)“. Eine Individuenvariable ist gebunden, genau dann, wenn sie im Wirkungsbereich des betreffenden Quantors liegt.
→ Logik, → Allquantor
Lit.: Partee, B. H./Meulen, A. ter/Wall, R.E., Mathematical Methods in Linguistics. 1993. Wessel, H., Logik. 41998. MW