Правило вывода – это предписание, или разрешение позволяющее из суждения 1-ой логической структуры, как посылок, вывести суждения некоторой логической структуры, как заключения.

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

Все правила выводов логики высказываний делятся на 2-е группы:

Основные и Производные.

• Основные – это простые и очевидные правила, не нуждающееся в доказательстве. Основные делятся на прямые и косвенные.
• Прямые – это такие правила, которые указывают на непосредственно выводимость одних суждений из других.
• Косвенные – лишь дают возможность умозаключить о правомерности вывода одних суждений из других.
• Производные - сокращённый процесс вывода, выводятся из основных.