„Quantifiziert wird ein Satz, indem ihm ein All- oder ''Existenzquantor'' mit einer Variablen voranstellt wird, die anzeigt, auf welche Stellen im Satz sich dieser Quantor bezieht, und dieser Satz eingeklammert wird, um den Bereich des Quantors anzuzeigen.“<ref>{{Literatur |Autor=Wilhelm Karl Essler et al. |Titel=Das logische Schließen |Sammelwerk=Grundzüge der Logik |Band=Band I |Auflage=5., neu bearbeitete und erweiterte |Verlag=Vittorio Klostermann |Ort=Frankfurt am Main |Jahr=2001 |ISBN=3-465-03164-4 |Seiten=186 |Online=[http://books.google.de/books?id=q_NwXR6_05kC&pg=PA186&hl=de&sa=X Online-Version]}}</ref>
''[[Prädikatenlogik]]:'' [[Operator]], der ausdrückt, dass es mindestens ein Objekt gibt, welches bestimmte Bedingungen erfüllt