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

• Påståendesats

 

 

Denna logik- och matematik-relaterade artikel saknar väsentlig information. Du kan hjälpa till genom att lägga till den.