Påstående
Från Rilpedia
Version från den 22 maj 2009 kl. 05.54 av ArthurBot (Diskussion)
Texten från svenska Wikipedia
Påstående, begrepp inom logiken. Ett påstående kan vara sant eller falskt.
Typer av påståenden
Ett kategoriskt påstående kan formuleras som Alla A är B.
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
