next up previous contents
Next: Tuletusreegel (rule of inference Up: No Title Previous: Tuletus (inference derivation)

Tuletuspuu (derivation tree, proof tree)

- tuletuse üleskirkutus diagrammi kujul, mille tippudes on tuletuses esinevad valemid ja kus tuletussammude eeldused ja järeldused on ühendatud suunatud kaartega. Tuletuspuu juureks on tuletatav valem e. teoreem,, lehtedeks aga aksioomid.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996