Вывод логический

ВЫВОД ЛОГИЧЕСКИЙ – рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности) следующие требования: 1) правила перехода должны воспроизводить отношение следования логического (ту или иную его разновидность); 2) переходы в логическом выводе должны осуществляться на основе учета только синтаксических характеристик высказываний или систем высказываний.

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

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

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

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