Existenzquantor

---

Substantiv, m:

Worttrennung:

Exis·tenz·quan·tor, Plural: Exis·tenz·quan·to·ren

Aussprache:

IPA [ɛksɪsˈtɛnt͡sˌkvantoːɐ̯]

Bedeutungen:

[1] Prädikatenlogik: Operator, der ausdrückt, dass es mindestens ein Objekt gibt, welches bestimmte Bedingungen erfüllt

Herkunft:

Determinativkompositum aus den Substantiven Existenz und Quantor

Synonyme:

[1] Partikularquantor

Gegenwörter:

[1] Allquantor

Beispiele:

[1] „Die Ausdrücke ‚für alle…‘ und ‚es gibt…‘ heißen Quantoren. Dabei heißt ‚für alle…‘ Allquantor und ‚es gibt…‘ Existenzquantor.“

[1] „Quantifiziert wird ein Satz, indem ihm ein All- oder Existenzquantor mit einer Variablen voranstellt wird, die anzeigt, auf welche Stellen im Satz sich dieser Quantor bezieht, und dieser Satz eingeklammert wird, um den Bereich des Quantors anzuzeigen.“

[1] „Eine Existenzaussage ist nur dann falsch, wenn die hinter dem Existenzquantor stehende Aussageform unerfüllbar ist, sonst ist sie wahr oder anders ausgedrückt, sie ist wahr, wenn die Aussageform erfüllbar ist.“

Übersetzungen:

• russisch: [1] квантор существования m

---

Dieser Text ist aus der Wiktionary und ist unter der Lizenz CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002