Lemma

Wikipediasta
Siirry navigaatioon Siirry hakuun

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.

  • Rossi, Richard J.: Theorems, corollaries, lemmas, and methods of proof. Hoboken (N.J.): Wiley, 2006. ISBN 978-0-470-04295-3 (englanniksi)
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.