Вывод

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