Ero sivun ”Lause (matematiikka)” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p Botti muokkasi: nl:Stelling (wiskunde) |
Jmk (keskustelu | muokkaukset) lisää |
||
Rivi 1:
'''Lause''' eli '''teoreema''' tarkoittaa matematiikassa [[propositio]]ta, joka on tosi.
Lauseeksi kutsutaan erityisesti jonkin matemaattisen [[teoria]]n rakentamisessa keskeiseksi osoittautuvaa tulosta. Jonkin toisen lauseen todistamisessa käytettyä lausetta kutsutaan ''apulauseeksi'' tai ''[[lemma]]ksi''. Jostakin lauseesta helposti seuraavaa lisätulosta kutsutaan ''seuraukseksi'' tai ''[[korollaari]]ksi''.
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 [[konjektuuri]]ksi.
{{tynkä/Matematiikka}}
| |||