Lause (matematiikka)
Wikipediasta
Lause eli teoreema tarkoittaa matematiikassa propositiota, joka on tosi.
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.
Teoreemaan liitetään tavanomaisesti itse proposition lisäksi sen totuuden aukottoman loogisesti osoittava matemaattinen todistus.
Mikäli propositiota arvellaan todeksi, mutta todistusta ei ole vielä keksitty, propositiota ei kutsuta lauseeksi, vaan konjektuuriksi.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.