Lemma
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
- Rossi, Richard J.: Theorems, corollaries, lemmas, and methods of proof. Hoboken (N.J.): Wiley, 2006. ISBN 978-0-470-04295-3. (englanniksi)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.