next up previous contents
Next: Tuletuspuu (derivation treeproof Up: No Title Previous: Term (term)

Tuletus (inference derivation)

- derivatsioon - valemite jada, mille iga liige on kas aksioom või saadud jada eelpool seisvatest liikmetest teatava tuletusreegli abil.



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