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

Язык, логика и исчисление предикатов.Натуральная Система Исчисления Предикатов.Натуральная система исчисления предикатов…...15.Значение такого терма вычисляется последовательно в соответствии с порядком его построения.В предыдущем описании семантики мы подразумеваем предикатную интерпретацию свободных переменных.В составе самих формул общие имена - в предложениях обычного языка - заменяются предикаторами.Рассмотрим несколько примеров выводов.Крайней мере один предикатный символ) .По-видимому, не содержат логических констант.Для образования высказываний из предикатов.