Вывод

ВЫВОД — элемент рассуждения (см.) и соответствующий фрагмент текста, обобщающий аргументы (см.), с помощью которых утверждается какая-либо мысль (тезис). Вывод соотносится с тезисом целого рассуждения, он логически замыкает всё рассуждение. Обычно В. включается в текст с помощью специальных связочных оборотов, например: каковы же выводы? Выводы таковы; перейду к выводам; сказанное позволяет сделать следующие выводы; в результате мы приходим к выводу о [чём]; единственно правильный вывод заключается в [чём].

• Выводной (выводной фрагмент, выводная часть).

ВЫВОД — рассуждение, в ходе которого из каких-либо мыслей, исходных в данном выводе, получается мысль, логически вытекающая из исходных. Всякий вывод есть последовательность связанных друг с другом суждений. Связь эта осуществляется в форме умозаключений, с помощью которых из одних суждений, входящих в данный вывод, выводятся другие суждения.

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

ВЫВОД ЛОГИЧЕСКИЙ - осуществляемая в рамках логических исчислений в соответствии с точными формальными правилами процедура знаковых преобразований, целью которой является обоснование правомерности, логической корректности перехода от некоторого множества формул к некоторой формуле.

Вывод логический представляет собой формальный аналог рассуждения в естественном языке.