Дедуктивное мышление, или дедукция, является одним из двух основных типов логического вывода. Логический вывод — связь первого утверждения со вторым утверждением, для которой правила логики показывают, что если первое утверждение истинно, то и второе утверждение должно быть истинным. Дедукция — это умозаключение, которое должно быть истинным — по крайней мере, согласно правилам. Если вы предполагаете, что первое утверждение (предпосылка) верно, вы можете сделать вывод и о других вещах, которые должны быть также верны. Пример: Ещё пример: Каждый из этих миниатюрных примеров имеет два утверждения. Это силлогизмы, которые служат моделью для всех дедуктивных рассуждений. Вы также можете заметить, что каждая пара утверждений содержит очень общее утверждение — что-то о «всех людях» или о том, что «всегда» делает собака. Это чрезвычайно распространённая особенность: утверждения общие, а выводы конкретные. В каждом случае дедуктивное рассуждение справедливо, а это означает, что вывод должен