Påstående är ett begrepp inom logiken. Ett påstående kan vara sant eller falskt.

Typer av påståenden

redigera

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

redigera

Inom matematiken skiljer man mellan följande typer av påståenden:

Uttrycksform

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

Se även

redigera