Вывод - форма мышления, посредством которой осуществляется переход от одного или нескольких известных высказываний к новому высказыванию.
Исходные высказывания называются посылками вывода, а новое высказывание, вытекающее из сопоставления посылок, - заключением.
По количеству посылок выводы делятся на непосредственные (одна посылка) и опосредованные (более одной посылки), а также на дедуктивные и недедуктивные (вероятностные).
Вывод называется дедуктивным, если из истинных посылок следует истинное заключение. Знание, полученное с помощью дедуктивного вывода, не может быть более общим, чем то, которое заложено в исходных посылках. Например: «Все металлы - химические элементы, олово - металл; следовательно, олово - химический
элемент».
В недедуктивном выводе заключение имеет вероятностный характер. Например: «Железо - твердое тело, медь - твердое тело, золото - твердое тело, платина - твердое тело; вероятно, все металлы -твердые тела».