Lause (matematiikka)
(Ohjattu sivulta Korollaari)
Lause eli teoreema tarkoittaa matematiikassa propositiota, joka on tosi.[1][2]
Lauseeksi kutsutaan erityisesti jonkin matemaattisen teorian rakentamisessa keskeiseksi osoittautuvaa tulosta. Jonkin toisen lauseen todistamisessa käytettyä lausetta kutsutaan apulauseeksi tai lemmaksi. Jostakin lauseesta helposti seuraavaa lisätulosta kutsutaan seuraukseksi tai korollaariksi.[2][3]
Teoreemaan liitetään tavanomaisesti itse proposition lisäksi sen totuuden aukottoman loogisesti osoittava matemaattinen todistus.[4]
Mikäli propositiota arvellaan todeksi, mutta todistusta ei ole vielä keksitty, propositiota ei kutsuta lauseeksi, vaan konjektuuriksi.[5]
Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ Theorem - Encyclopedia of Mathematics encyclopediaofmath.org. Viitattu 10.7.2025.
- ↑ a b Eric W. Weisstein: Theorem mathworld.wolfram.com. Viitattu 10.7.2025. (englanniksi)
- ↑ Luentomuistiinpanot – Michigan State University users.math.msu.edu. Viitattu 10.7.2025. (englanniksi)
- ↑ Postulates, Theorems, and Proofs | Encyclopedia.com www.encyclopedia.com. Viitattu 10.7.2025.
- ↑ Eric W. Weisstein: Conjecture mathworld.wolfram.com. Viitattu 10.7.2025. (englanniksi)