Значение ЛОГИКА ПРЕДИКАТОВ в Современном толковом словаре, БСЭ

раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.