Статья 262

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