next up previous contents
Next: Disjunkt (Disjunct) Up: No Title Previous: Deduktiivselt võrdsed valemid (deductivly

Deduktsioon (deduction, deductive derivation )

- mõttekäik, milles üldiste teadmiste põhjal tuletatatkse midagi konkreetsema juhu kohta. Deduktiivse tuletusreegli näiteks on modus ponens.



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