Структура исчисления предикатов - построение логического вывода

Оно скорее нужно как часть логического исчисления для формул ЯЛП.В основе исчисления предикатов лежит язык логики предикатов.Язык, логика и исчисление предикатов.Натуральная система исчисления предикатов.Значение такого терма вычисляется последовательно в соответствии с порядком его построения.В предыдущем описании семантики мы подразумеваем предикатную интерпретацию свободных переменных.В составе самих формул общие имена - в предложениях обычного языка - заменяются предикаторами.Логика предикатов формируется аналогично тому, как это происходит относительно логики высказываний.Строго говоря, именно условная интерпретация соответствует понятию логического следования.Законы логики предикатов называются также универсально-общезначимыми формулами логики предикатов.