В чем заключается принцип дедуктивного вывода в логических системах?

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

Процесс дедуктивного вывода включает следующие шаги: 5

1. Начало с общего утверждения или теории. 5 Например, «Все птицы умеют летать». 5
2. Применение общего утверждения к конкретным случаям. 5 Если есть животное и известно, что это птица, то по дедуктивному методу заключают, что оно умеет летать. 5
3. Вывод. 5 Исходя из общего правила делают конкретный вывод. 5

Пример: если известно, что все люди смертны (общее утверждение), и что Сократ — человек, то можно сделать вывод, что Сократ смертен. 15

Важно помнить, что дедуктивные выводы будут верны только в том случае, если исходные общие утверждения верны. 5 Если в начале есть ошибка, то и конечный вывод тоже будет неверным. 5