Quantor
- Ü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 Prädikatenlogik gibt es einen All-Quantor und einen Existenz-Quantor.
Der Allquantor „\(forall x:\)“ besagt „Für alle x gilt“, der Existenzquantor „\(exists x:\)“ besagt „Es gibt (mindestens) ein Element x mit der Eigenschaft“