ОГЛАВЛЕНИЕ>>

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

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