Вывод в логике

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

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