Умозаключение (Подопригора, 2013)

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 460.