(Omdirigerad från Sats (matematik))
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
- Teorem (logik)
- Deduktionsteoremet
- Formel
- Följdsats
- Reductio ad absurdum
- Härledning
- Härledningsbegrepp
- Lemma
- Matematiskt bevis
- Tautologi
Källor
- ^ teorem. Nationalencyklopedin. "18". Höganäs: Bokförlaget Bra Böcker. 1995. sid. 173. ISBN 91-7024-619-X
- Nationalencyklopedin. Höganäs: Bra Böcker. 1995
- Lübcke, Poul, red (1988). Filosofilexikonet. Stockholm. ISBN 91-37-10062-9
|