Lause (matematiikka)

Antsawikistä
Siirry navigaatioon Siirry hakuun

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.

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Antsawikiä laajentamalla artikkelia.