Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

Дедукционная теорема — одна из .важнейших теорем металогики. Она гласит: если высказывание В выво­дится (вывод) из некоторого мно­жества посылок в предположении, что имеет место и посылка А, то без этого предположения (что имеет место А) из данного множества по­сылок выводится: «Если А, то В». Д. т. применяется ко мн. важным логическим системам: классическим и конструктивным исчислениям вы­сказываний и предикатов, формаль­ной арифметике и т. д. Для некото­рых систем она незначима, напр., для некоторых систем модальной ло­гики. Д. т. широко применяется п в неформализованных рассуждениях. Применение Д. т. упрощает ход до­казательства. Д. т. впервые была сформулирована (1928) и доказана (1930) для частной системы Эрбра-ном. В виде общего методологиче­ского принципа сформулирована Тарским (1930).