Правила дедуктивных выводов в логике высказываний. С помощью правил вывода устанавливается зависимость логической структуры заключения от логической структуры посылок

С помощью правил вывода устанавливается зависимость логической структуры заключения от логической структуры посылок. В простейшем случае правило вывода можно записать в виде схемы, которая состоит из двух частей (верхней и нижней), разделенных горизонтальной чертой; причем над чертой в столбец будем выписывать логические схемы посылок, а под ней – заключения.

Схема правила вывода, в котором посылки имеют вид A ₁ , A ₂ , A ₃ ,..., A_n, а заключение – B, т.е.:

A₁

A₂

A₃

...

A_n

_{-----------------}

B

читается: «Из посылок вида A ₁, A ₂, A ₃ ,..., A _n можно (разрешено) выводить заключение B».

Правила дедуктивных выводов логики высказываний подразделяются на основные и производные. Основные правила являются более простыми. Их перечень можно составить так, чтобы, во-первых, они были содержательно очевидными (для этой цели можно воспользоваться определениями логических союзов), во-вторых, образованная из них система определяла бы все возможные правила выводов логики высказываний, т.е. чтобы система удовлетворяла требованию полноты. В рамках современной логики доказано, что для логики высказываний такая система правил существует.

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

Как основные, так и производные правила, в свою очередь, делятся на прямые и непрямые (косвенные). Прямыеправила вывода указывают на выводимость некоторых высказываний из других высказываний (заключений из посылок). Непрямые (косвенные) правила выводов дают возможность заключать о правомерности некоторых выводов из правомерности других выводов. Сначала рассмотрим основные прямые правила.

Не нашли, что искали? Воспользуйтесь поиском: