Prädikatenlogik

Quantoren

Quantoren sind Operatoren in der Prädikatenlogik und werden dazu verwendet, mathematische Aussagen noch kürzer und prägnanter zu formulieren.