Quantor (Logik)

eine logische Partikel, die dazu dient, unbegrenzt viele, durch eine Aussageform gegebene Aussagen zu einer neuen prädikatenlogisch zusammengesetzten Aussage zu verknüpfen (Logik). Quantoren sind der selten verwendete Keinquantor (»für kein«; symbolisiert ↓), der Allquantor (»für alle«; symbolisiert ⋀ oder ∀) und der Existenzquantor (»es gibt«, »einige«;