Умозаключение[1][2] — одна из форм мышления, с помощью которого из одного или нескольких суждений строится новое суждение[3][4].
С точки зрения логики высказываний, умозаключение — это шаг логического вывода, непосредственное выведение высказывания-заключения из одного или более высказываний («посылок»), простейшее рассуждение.
В логике умозаключение записывается в виде горизонтальной черты, над которой стоят посылки, а под чертой записывается заключение. Например,
Умозаключения (отдельные шаги вывода) разделяют:[источник не указан 1421 день]