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

ЛОГИКА ПРЕДИКАТОВ

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

БСЭ. Современный толковый словарь, БСЭ.