Påstående
Från Wikipedia
Påstående, begrepp inom logiken. Ett påstående kan vara sant eller falskt.
[redigera] Typer av påståenden
Ett kategoriskt påstående kan formuleras som Alla A är B.
[redigera] Påståenden inom matematiken
Inom matematiken skiljer man mellan följande typer av påståenden:
Uttrycksform
- ekvation som innehåller ett likhetstecken
- olikhet som innehåller ett olikhetstecken
- existens
- generalitet
Villkor
- definition - påstående som avgör ett nytt begrepps betydelse
- axiom (postulat) - påstående som man förutsätter är sant utan bevisning
- förmodan (antagande, hypotes) - obevisat påstående
- teorem (sats) - bevisat påstående
- lemma - hjälpsats
- korollarium - följdsats
