ВЫВОДА ДЕРЕВО

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

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