Sanningsvärde

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2016-08) Å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.

Ett sanningsvärde är ett värde tilldelat ett påstående grundat på huruvida detta är uppfyllt eller ej.

Symboliska sanningsvärden

I en två-värd kontext är ett påstående som är uppfyllt sant, och ett som inte är uppfyllt är icke-sant. Falskt är ett annat ord för icke-sant så ett påstående i en två-värd kontext är antingen sant eller falskt. Dessa två kan symboliskt betecknas med två valfria tecken till exempel S och F, eller 1 och 0. Dessa symboliska sanningsvärden används som invärden och resultat i sanningstabeller och sanningsfunktioner.

Det finns också flervärd logik med fler än två symboliska sanningsvärden. Den vanligaste är trevärd logik med t (true), f (false), u (undefined).

Numeriska sanningsvärden

Ett sanningsvärde kan också representeras av ett talvärde som öppnar möjligheten att hantera dem med matematiska metoder. George Boole fann att talen 1 och 0 hade goda egenskaper för att utföra två-värda logiska operationer med matematiska metoder och skapade den Booleska algebran.

Med idén om 'gradvis sanning' eller delvis sanning utanför två-värda kontexter, blir graden av sanning till ett gradvis procentuellt värde mellan 100% och 0%, som ju är lika med talen 1 och 0.

I Lukasiewicz trevärdeslogik och i suddig logik (fuzzy logic) motsvarar 1 och 0 'sant' och 'falskt' och den grad man värderar placeras mellan 'sant' och 'falskt'.

Se även

• Sanning