С помощью правил вывода устанавливается зависимость логической структуры заключения от логической структуры посылок. В простейшем случае правило вывода можно записать в виде схемы, которая состоит из двух частей (верхней и нижней), разделенных горизонтальной чертой; причем над чертой в столбец будем выписывать логические схемы посылок, а под ней – заключения.
Схема правила вывода, в котором посылки имеют вид A1 ,A2 ,A3 , ... , An, а заключение – B, т.е.:
A1
A2
A3
...
An
-----------------
B
читается: «Из посылок вида A1, A2, A3 , ... , An можно (разрешено) выводить заключение B».
Правила дедуктивных выводов логики высказываний подразделяются на основные и производные. Основные правила являются более простыми. Их перечень можно составить так, чтобы, во-первых, они были содержательно очевидными (для этой цели можно воспользоваться определениями логических союзов), во-вторых, образованная из них система определяла бы все возможные правила выводов логики высказываний, т.е. чтобы система удовлетворяла требованию полноты. В рамках современной логики доказано, что для логики высказываний такая система правил существует.
Производные правила выводятся из основных правил. В сущности их можно признать излишними, так как можно обойтись и без них. Но их введение в систему зачастую сокращает процесс вывода. Производные правила, таким образом, играют вспомогательную роль.
Как основные, так и производные правила, в свою очередь, делятся на прямые и непрямые (косвенные). Прямыеправила вывода указывают на выводимость некоторых высказываний из других высказываний (заключений из посылок). Непрямые (косвенные) правила выводов дают возможность заключать о правомерности некоторых выводов из правомерности других выводов. Сначала рассмотрим основные прямые правила.