ЭСБЕ/Вывод, в логике
Вывод или умозаключение — процесс мысли, которым мы убеждаемся в истинности известного суждения при noсредстве других суждений; самый процесс при этом состоит в перенесении одного из основных элементов установленного уже в нашем знании суждения на соответствующее место в другом суждении, на основании некоторого отношения между остальными элементами обоих суждений. В. необходим потому, что суждений, не нуждающихся в доказательстве, весьма немного (аксиомы). В логиках выводом считают, во-1-х, непосредственное умозаключение, т. е. такой процесс вывода суждения, который непосредственно следует из данного суждения без посредства другого, — и во-вторых, силлогизм (см.). Правильность вывода зависит как от правильности посылок, из которых делается вывод, так и от правильности самого выводного процесса. Поэтому в выводе возможны двоякого рода ошибки: материальные, зависящие от неправильности посылок, и формальные, зависящие от неправильностей, допущенных в выводном процессе.

ЭСБЕ:Философия
ЭСБЕ:ЛогикаРучная ссылка на неоднозначность:Википедия