ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре . высказываний. И. п. было построено Фреге и является существенным обогащением аристотелевой и традиционной силлогистики.