Статья 237

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

исчислении

исчислении


Является ли исчисление НС с определенным выше понятием вывода из посылок искомой адекватной формализацией семантического отношения логического следования.