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