Статья 258

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