Allquantor, universeller Quantor, Generalisator
Als Allquantor, universellen Quantor oder Generalisator bezeichnet man den Quantor der Generalisierung. Für den Allquantor werden gewöhnlich die Symbole &; und 
verwendet. Mitunter, vor allem in älterer Literatur, findet man auch die Symbole (…), P und A.
Der Allquantor wird entsprechend seiner Bedeutung als für alle oder für jedes gelesen.
Frege, der die Quantorennotation eingeführt hat, betrachtet ein universelles Urteil wie Alle A sind B als mit der Aussage identisch Es gilt für jedes x: wenn x ein A ist, ist x ein B.
Beispiel: Alle Raben sind schwarz, lässt sich nach Frege lesen als: Wenn x ein Rabe ist, dann ist x schwarz.
Wenn R als Abkürzung von ist ein Rabe und S als Abkürzung von ist schwarz verwendet wird, kann diese Aussage wie folgt symbolisiert werden: &;x (Rx &; Sx).
Das Urteil Kein Rabe ist schwarz hat demnach die Form: &;x (Rx &; &;Sx).
In der klassischen zweiwertigen Prädikatenlogik lässt sich der Allquantor auf den Existenzquantor zurückführen: &;x A(x) lässt sich nämlich lesen als: &;&;x &;A(x).
Urteile, die Allquantoren enthalten, heißen universale Urteile.