Setning er orð af grískum uppruna sem a uppástunga sem gefur til kynna sannleika fyrir ákveðið vísindasvið, sem hefur þá sérstöðu að vera sýnileg með því að grípa til annarra áður sýndra uppástungna, kallaðar axioms. Venjulega Setningar styðja vísindin sem kallast 'nákvæmlega’, sérstaklega „formlegt“ (stærðfræði, rökfræði), sem eru þau sem nota kjörþætti til að draga almennar ályktanir.
Hugsunin á bak við hugmyndina um setningu er sú að, svo framarlega sem þetta er byggt á sönnum uppástungum sem eru settar fram á rökréttan og réttan hátt, þá er það sem setningin lætur í ljós sannleikur um alger gildi.. Þetta er einmitt það sem gerir þeim kleift að þjóna sem stuðningur við þróun vísindakenninga án þess að þurfa að sanna það aftur.
Megin gæði setninga er eðli þeirra rökrétt. Almennt, og aftur miðað við annars konar vísindalega þekkingu (svo sem þær sem eru framleiddar með ályktun eða athugun), er uppruni hennar frá því að framkvæma rökrétta aðferð sem auðvelt er að panta. Í þessum skilningi byrja setningarnar á a grundvallar tilgáta, sem er það sem þú vilt sýna fram á; ritgerð, sem er einmitt sýnikennsla, og fylgi, sem er Niðurstaða því er náð þegar sýnikennslu er lokið.
Aðalhugmynd setninganna er sem sagt spurningin um stöðuga hagkvæmni og möguleikann á því að vera ávallt með undirritaður og samþykktur á ný. Hins vegar, ef ein staða kemur upp þar sem setningin missir alheiminn, hættir setningin strax að vera gild.
Hugtakið setning hefur verið tekið af önnur vísindi (hagfræði, sálfræði eða stjórnmálafræði, meðal annarra) til að tilnefna ákveðin mikilvæg eða grunnhugtök sem stjórna þessum sviðum, jafnvel þegar þau koma ekki fram með þeim aðferðum sem útskýrt er. Í þeim tilfellum er ekki notað axioms, heldur ályktanir sem gerðar eru með aðferðum eins og athugun eða jafnvel tölfræðilegri sýnatöku.
Eftirfarandi listi safnar dæmum um setningar og stutta lýsingu á því sem hann leggur til:
- Setning Pythagoras: samband milli mælikvarðans á lágþrýstingnum og fótanna, ef um rétta þríhyrninga er að ræða.
- Frumtölusetning: Eftir því sem talnalínan vex mun færri og færri tölur koma úr þeim hópi.
- Tvíliðasetning: formúla til að leysa kraft tvöfalda (viðbætur eða frádráttur frumefna).
- Setning Frobenius: leysa formúlu fyrir kerfi línulegra jöfnna.
- Setning Thales: einkenni hvað varðar horn og hliðar svipaðra þríhyrninga og aðra eiginleika þeirra.
- Setning Eulers: fjöldi hornpunkta auk fjölda andlita er jafnt fjöldi brúna auk 2.
- Setning Ptolemeusar: Summa afurða skáanna er jöfn summan af afurðum gagnstæðra megin.
- Setning Cauchy-Hadamard: Að koma á radíus samleitni röð valda sem nálgast aðgerð í kringum punkt.
- Setning Rolle: Á bili þar sem metið endar með aðgreinanlegu hlutverki eru jöfn, mun alltaf vera stig þar sem afleiðan hverfur.
- Setning meðalgildis: Ef aðgerð er samfelld og aðgreinanleg á bilinu verður punktur í því bili þar sem snertirinn verður samsíða sekantinu.
- Setning Cauchy Dini: Skilyrði fyrir útreikningi á afleiðum þegar um er að ræða óbeinar aðgerðir.
- Setningarreikningur: Afleiðsla og samþætting falls eru andhverfar aðgerðir.
- Reikningasetning: Hægt er að tákna hverja jákvæða heiltölu sem afurð frumþátta.
- Setning Bayes (tölfræði): Aðferð til að fá skilyrt líkindi.
- Setning kóngulóvefs (hagfræði): Setning til að útskýra myndun vara sem eru framleiddar miðað við fyrra verð.
- Setning Marshall Lerner (hagfræði): Greining á áhrifum gengislækkunar miðað við magn og verð.
- Coase setning (hagfræði): Lausn fyrir tilvik utanaðkomandi, sem hafa tilhneigingu til afnáms hafta.
- Miðgildisatriði kjósenda (stjórnmálafræði): Kosningakerfi meirihlutans hefur tilhneigingu til að greiða miðgildi atkvæða.
- Setning Baglinis (stjórnmálafræði, Argentína): Stjórnmálamaðurinn hefur tilhneigingu til að færa tillögur sínar nær miðju þegar hann nálgast valdastöður.
- Setning Thomasar (félagsfræði): Ef fólk skilgreinir aðstæður sem raunverulegar verða þær raunverulegar í afleiðingum þeirra.
