Статья 257

Существует аналогичный, но более слабый способ, который можно выразить непрямым правилом, которое приемлемо как в классической, так и в интуиционистской логике.

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

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

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