Teorem
(Omdirigerad från Sats (matematik))
Matematiska begrepp |
---|
Härledningsbegrepp |
---|
Närliggande begrepp |
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
- Reductio ad absurdum
- Härledning
- Härledningsbegrepp
- Lemma
- Matematiskt bevis
- Korollarium
- Tautologi
Källor[redigera | redigera wikitext]
- ^ NE, s. 173
- Nationalencyklopedin. Höganäs: Bra Böcker. 1995
- Lübcke, Poul, red (1988). Filosofilexikonet. Stockholm. ISBN 91-37-10062-9