исчисление предикатов

Исчисление предикатов - расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. Понятие формулы и. п. расширяется путем введения понятия предиката от одного или нескольких предметных переменных.

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.