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