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

ВЫВОДА ДЕРЕВО - способ записи выводов в исчислении, при к-ром над каждым элементом Р пишутся те элементы вывода, из к-рых Р получен за одно применение вывода правила. Напр., имея вывод Р₁, ..., Р₆, в к-ром P₁, Р₂ и Р₄ - аксиомы, Р₃ получается за одно применение правила из Р₁ и Р₂, Р₅ - из Р₄ и Р₃, Р₆ -из Р₃ и Р₅, можно записать его в виде следующего В. д.:

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

C. Ю. Маслов.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.