Lause (matematiikka)

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.