Existenzquantor

== Existenzquantor (Deutsch) == === Substantiv, m === Worttrennung: Exis·tenz·quan·tor, Plural: Exis·tenz·quan·to·ren Aussprache: IPA: [ɛksɪsˈtɛnt͡sˌkvantoːɐ̯] Hörbeispiele: Existenzquantor (Info) Bedeutungen: [1] Prädikatenlogik: Operator, der ausdrückt, dass es mindestens ein Objekt gibt, welches bestimmte Bedingungen erfüllt Symbole: [1] ∃, ⋁ Herkunft: Determinativkompositum aus den Substantiven Existenz und Quantor Synonyme: [1] Partikularquantor Gegenwörter: [1] Allquantor Oberbegriffe: [1] Quantifikator, Quantor 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 ==== [1] Wikipedia-Artikel „Existenzquantor“ Quellen: