Påstående
 | Den här artikeln behöver källhänvisningar för att kunna verifieras. (2022-09) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Påstående är ett 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.
Ett hypotetiskt påstående är ett obevisat påstående.
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
- sats - bevisat påstående
- lemma - hjälpsats
- korollarium - följdsats
Se även
| ||||||||||||||||||||||||||||||||||||||
