ВЫ́ВОД

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

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