Synonyme bzw. ein anderes Wort für "Prädikatenlogik":

Bedeutung 1:
Quantorenlogik