Lemma
matemaattinen käsite
Lemma eli apulause kuuluu osana loogiseen päättelyyn. Sitä käytetään matemaattisen todistuksen välivaihelauseena ja askeleena kohti varsinaisen väittämän todistusta. Tätä käytetään yleensä silloin, kun varsinaisen väittämän todistamisessa on selvä osa, jonka todistaminen on itsessäänkin merkittävä. Tällaista välivaiheena todistettua lausetta, lemmaa, voidaan mahdollisesti (tai oletetaan voitavan) käyttää myös muiden väitteiden todistamisessa.
Lemma on morfologiassa sanamuotoja yhdistävä perusmuoto.
Lähteet muokkaa
- Rossi, Richard J.: Theorems, corollaries, lemmas, and methods of proof. Hoboken (N.J.): Wiley, 2006. ISBN 978-0-470-04295-3. (englanniksi)
Katso myös muokkaa
- Pumppauslemma (Pumping lemma).