next up previous contents
Next: Deduktsioon (deductiondeductive derivation Up: No Title Previous: Boole'i algebra (Boolean algebra)

Deduktiivselt võrdsed valemid (deductivly equal formulae)

- Valemid A ja B on deduktiivselt võrdsed (samaväärsed), kui valemi A tuletatavusest järeldub valemi B tuletatavus ja vastupidi.



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