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