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

Математика не существует без чёткого представления о том, как мы получаем ответы на вопросы которые задаём. За это отвечает раздел математики называющийся...