next up previous contents
Next: Tõene valem (true formula) Up: No Title Previous: Tuletuspuu (derivation treeproof

Tuletusreegel (rule of inference, rule of derivation)

- deduktsioonireegel - eeskiri, mis võimaldab olemasolevatest valemitest tuletada uusi, nn. järeldusi. Vt. näiteks modus ponens ja modus tollens.



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