Статья 248

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