Next: Tuletusreegel (rule of inference
Up: No Title
Previous: Tuletus (inference derivation)
- 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