Påstående
hävdan av vad som antas
 |
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
redigeraEtt 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
redigeraInom 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