Quantoren

Quantoren sind Operatoren in der Prädikatenlogik und werden dazu verwendet, mathematische Aussagen noch kürzer und prägnanter zu formulieren. Für die Formulierungen »für alle. . .« und »es existiert. . .« werden zwei neue Symbole eingeführt, die Quantoren.