Что такое дедукция?

Дедукция — это логически правильный вывод из уже имеющегося знания или из уже имеющихся мыслей. Выводы, построенные с помощью дедукции, изучает наука логика. Натуральная дедукция в логике использует правила, которые близки тому, как рассуждает человек, поэтому она так и называется ''натуральная дедукция”. Дедукция применяется в повседневной жизни, а также в преподавательской и аналитической работе.

Пример дедуктивного рассуждения в логике

Дедукция известна со времен Аристотеля. Именно Аристотель рассматривал умозаключения с посылками и выводом.

Пример дедуктивного умозаключения:

Все люди смертны.
Сократ – человек.
Следовательно, Сократ смертен.

Первые два суждения называются посылками, а последнее суждение – это вывод или следствие.
В логике существуют определенные правила вывода, на основе которых строятся рассуждения. Эти правила нужны для того, чтобы приходить к истинному выводу, исходя из истинных посылок.