Quantoren
Charakteristisch für die Prädikatenlogik ist die Verwendung von Quantoren , dem
Allquantor (Generalisator) 
und dem Existenzquantor
(Partikularisator) 
Ist 
ein einstelliges Prädikat, so wird die Aussage ,,Für jedes 
aus 
gilt 
`` mit 
und die Aussage ,,Es gibt ein
aus 
für das
gilt`` mit 
bezeichnet.
Durch die Quantifizierung entsteht aus dem einstelligen Prädikat
eine Aussage.
Ist z.B. 
der Individuenbereich der natürlichen Zahlen und bezeichnet
das
(einstellige) Prädikat ,,
ist eine Primzahl``, so ist 
eine falsche und 
eine wahre Aussage.
