Teorem
(Omdirigerad från Matematisk sats)
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]- ^ 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
| ||||||||||||||||||||||||||||||||||||||