В математической логике логика предикатов - это общий термин для символических формальных систем, таких как логика первого порядка, логика второго порядка, многосортная логика или бесконечная логика.
Логика предикатов - это система математической логики.