next up previous contents
Next: Literaal (literal) Up: No Title Previous: Lausearvutus (propositional calculus)

Lemma (lemma)

- abiteoreem - teoreem, millel pole iseseisvat tähtsust, kuid mis on vajalik mõne teise teoreemi tõestamisel.



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