Existenzquantor
Online Mathe üben mit bettermarks
- Über 2.400 Übungen mit fast 200.000 Aufgaben
- Interaktive Eingaben, Lösungswege und Tipps
- Automatische Auswertungen und Korrektur
- Erkennung von Wissenslücken
In der Aussagenlogik symbolisiert der Existenzquantor "\( exists \)" (ein umgedrehtes E) die Worte "es gibt" oder "es existiert".
Beispiel:
Die Aussage "Es gibt mindestens eine rationale Zahl, die kleiner als 0 ist" schreibt man in der Form
\(exists _{xin mathbb{Q}} : x< 0[/latex]
Dies ist eine wahre Aussage, denn sie wird zum Beispiel von [latex]x = -1\) erfüllt. Neben dem Existenzquantor gibt esals duales Symbolden Allquantor "\( forall \)" (ein umgedrehtes A) mit der Bedeutung "für alle".