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

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

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