ЛО́ГИКА ПРЕДИКАТОВ, раздел логич. теорий, в к-ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе Л.п. лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов .
