Вывод (рассуждение) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений(предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов — умозаключений.
Суждение — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Посылка (логика) — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента.
Умозаключение — шаг логического вывода, непосредственное выведение высказывания-заключения из одного или более высказываний («посылок»), простейшее рассуждение.
Заключение (логика) — логическая противоположность основанию в логическом выводе. Суждение, считающееся истинным в том случае, когда истинными признаются его предпосылки.
