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
| ||||||||||||||||||||||||||||||||||||||