Teorem
En sats eller ett teorem (av grekiska θεωρέω, theoreo, "betrakta", "skåda") är ett matematiskt eller logiskt påstående, som är bevisat. Begreppet syftar vanligtvis på ett huvudresultat inom en viss teori.[1] Beviset beskriver hur satsen logiskt följer från teorins axiom.
Se även
[redigera | redigera wikitext]- Teorem (logik)
- Deduktionsteoremet
- Formel
- Följdsats
- Reductio ad absurdum
- Härledning
- Härledningsbegrepp
- Lemma
- Matematiskt bevis
- Tautologi
Källor
[redigera | redigera wikitext]- Nationalencyklopedin. Höganäs: Bra Böcker. 1995
- Lübcke, Poul, red (1988). Filosofilexikonet. Stockholm. ISBN 91-37-10062-9
Noter
[redigera | redigera wikitext]- ↑ teorem. Nationalencyklopedin. "18". Höganäs: Bokförlaget Bra Böcker. 1995. sid. 173. ISBN 91-7024-619-X