Статья 250

Начнем с формулировки прямых производных правил.

Рассмотрим на примерах, на чем основана идея возникновения и применения прямых производных правил. Замечая, что всегда можно построить вывод. Мы оформляем результаты этих выводов в виде правил. Выводу соответствует простое правило введения конъюнкции из посылок выводима их конъюнкция.

Выводу соответствует известное еще античным логикам правило, получившее название.

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