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