Умозаключение (Подопригора, 2013)
УМОЗАКЛЮЧЕНИЕ — логическая форма получения выводного знания, состоящая в переходе от определенных исходных данных к новому знанию, вытекающему из этих данных. Структуру умозаключения составляет непустое (причем обычно небольшое по числу элементов) множество исходных суждений (высказываний), называемых посылками, или основаниями, умозаключение и логически следующее из них суждение (высказывание), называемое заключением, или следствием умозаключения.