Existenzquantor — German Dictionary

Noun

1. Operator, der ausdrückt, dass es mindestens ein Objekt gibt, welches bestimmte Bedingungen erfüllt

   Usage

   • Prädikatenlogik

   Synonyms

   Partikularquantor

   Antonyms

   Allquantor

   Broader terms

   QuantifikatorQuantor

   Examples

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

   More examples (2)

   „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.“

   „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.“