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