раздел математической логики — совокупность логико-математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с Кванторами. См. Высказывание, Логика предикатов.
Философский словарь
расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре . высказываний. И. п. было построено Фреге и является существенным обогащением аристотелевой и традиционной силлогистики.
Философский энциклопедический словарь 2
раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами.
см. Логика предикатов.
Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:
