Quantor

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“