Lause on kreikkalaista alkuperää oleva sana, jonka a ehdotus, joka osoittaa totuuden tietylle tieteenalalle, jonka erityispiirteet ovat osoitettavissa turvautumalla muihin aiemmin osoitettuihin ehdotuksiin, joita kutsutaan aksioomiksi. Tyypillisesti lauseet tukevat '' tieteenaloja ''tarkka’, erityisesti "muodollinen" (matematiikka, logiikka), jotka käyttävät ihanteellisia elementtejä yleisten johtopäätösten tekemiseen.
Lauseen käsitteen takana on, niin kauan kuin nämä perustuvat loogisesti ja oikein muotoiltuihin oikeisiin ehdotuksiin, lause lausuu absoluuttisen pätevyyden totuuden. Juuri tämä antaa heidän toimia tukena minkä tahansa tieteellisen teorian kehittämiselle ilman tarvetta todistaa sitä uudestaan.
Lauseiden keskeinen laatu on niiden luonne looginen. Yleensä ja jälleen verrattuna muihin tieteellisiin tietoihin (kuten päätelmiin tai havainnoihin tuotettuihin), sen alkuperä johtuu loogisen menettelyn suorittamisesta, joka voidaan helposti tilata. Tässä mielessä lauseet alkavat a: sta perushypoteesi, jonka haluat osoittaa; opinnäytetyö, joka on juuri esittelyja seuraus, joka on johtopäätös joka saavutetaan, kun mielenosoitus on saatu päätökseen.
Kuten sanottu, lauseiden pääidea on kysymys jatkuvasta toteutettavuudesta ja mahdollisuudesta allekirjoittaa ja hyväksyä uudelleen aina. Jos kuitenkin syntyy yksittäinen tilanne, jossa lause menettää universaalisuutensa, lause tulee välittömästi pätemättömäksi.
Lauseen käsite on otettu muut tieteet (muun muassa taloustiede, psykologia tai valtiotiede) nimetä tiettyjä tärkeitä tai perustavia käsitteitä, jotka hallitsevat näitä aloja, vaikka ne eivät syntyisi selitetyn menettelyn kautta. Tällöin ei käytetä aksiomia, vaan pikemminkin päätelmiä, jotka tehdään esimerkiksi havainnoinnin tai jopa tilastollisen näytteenoton avulla.
Seuraava luettelo kerää esimerkkejä lauseista ja lyhyen kuvauksen siitä, mitä siinä oletetaan:
- Pythagoras-lause: hypotenuusin ja jalkojen mitan suhde suorakulmioiden tapauksessa.
- Päälukulause: Numerorivin kasvaessa siitä ryhmästä tulee vähemmän ja vähemmän numeroita.
- Binomilause: kaava binomien voimien ratkaisemiseksi (elementtien lisäykset tai vähennykset).
- Frobeniuksen lause: lineaaristen yhtälöjärjestelmien kaavan ratkaiseminen.
- Thalesin lause: ominaisuudet samankaltaisten kolmioiden kulmien ja sivujen suhteen sekä niiden muut ominaisuudet.
- Eulerin lause: kärkipisteiden ja kasvojen lukumäärä on yhtä suuri kuin reunojen lukumäärä plus 2.
- Ptolemaioksen lause: Lävistäjien tulojen summa on yhtä suuri kuin vastakkaisten sivujen tulojen summa.
- Cauchy-Hadamardin lause: Tehosarjan konvergenssisäteen määrittäminen, joka arvioi funktion pisteen ympäri.
- Rollen lause: Välillä, jonka erotettavissa olevan funktion arvioidut ääripäät ovat samat, on aina kohta, jossa johdannainen katoaa.
- Keskiarvolause: Jos funktio on jatkuva ja erotettavissa tietyllä aikavälillä, siinä on piste, jossa tangentti on yhdensuuntainen sekantin kanssa.
- Cauchy Dinin lause: Edellytykset johdannaisten laskemiselle implisiittisten funktioiden tapauksessa.
- Laskulause: Funktion johtaminen ja integrointi ovat käänteisiä operaatioita.
- Aritmeettinen lause: Jokainen positiivinen kokonaisluku voidaan esittää alkutekijöiden tulona.
- Bayesin lause (tilastot): Menetelmä ehdollisten todennäköisyyksien saamiseksi.
- Seitti-lause (taloustiede): Lause selittää edellisen hinnan perusteella valmistettujen tuotteiden muodostumista.
- Marshall Lernerin lause (taloustiede): Valuutan devalvaation vaikutusten analysointi määrinä ja hintoina.
- Coase-lause (taloustiede): Ratkaisu ulkoisvaikutuksiin, sääntelyn purkamiseen.
- Mediaaniäänestyslause (valtiotiede): Enemmistövaalijärjestelmä pyrkii suosimaan mediaaniäänestystä.
- Baglinin lause (valtiotiede, Argentiina): Poliitikolla on taipumus tuoda ehdotuksensa lähemmäksi keskustaa lähestyessään valta-asemia.
- Thomasin lause (sosiologia): Jos ihmiset määrittelevät tilanteen todellisiksi, niistä tulee todellisia seurauksissaan.
