next up previous contents
Next: Abeli rühm (Abelian group) Up: No Title Previous: Atomaarne valemaatom (atom,

Abduktsioon (abduction)

- väite osalise tõestamise võte, mida esitab tuletusreegel

displaymath283


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