Sanningsvärde, i logik, sanning (T eller 1) eller falskhet (F eller 0) för ett visst förslag eller uttalande. Logiska anslutningar, såsom disjunktion (symboliserad ∨, för “eller”) och negation (symboliserad ∼), kan betraktas som sanningsfunktioner, eftersom sanningsvärdet för en sammansatt proposition är en funktion av, eller en mängd beroende av, sanningsvärdena för dess delar.
Sanningsvärdet för ett sammansatt uttalande kan lätt testas med hjälp av ett diagram som kallas en sanningstabell. Varje rad i tabellen representerar en möjlig kombination av sanningsvärden för komponentförslagen för föreningen, och antalet rader bestäms av antalet möjliga kombinationer. Om till exempel bara innehåller två komponentförslag kommer det att finnas fyra möjligheter och därmed fyra rader till tabellen. De logiska egenskaperna för de vanliga anslutningarna kan visas av sanningstabeller enligt följande:
där · betyder “och” och ⊃ betyder “om… sedan." (I tabellen “eller”, till exempel, läser den andra raden, “Om p är sant och q är falskt, då är p ∨ q sant.”) Sanningstabeller med mycket större komplexitet, de med ett antal sanningsfunktioner, kan konstrueras med hjälp av en dator. Abstrakta logiksystem har konstruerats som använder tre sanningsvärden (t.ex. sanna, falska och obestämda) eller till och med många, som i fuzzy logik, där förslag har värden mellan 0 och 1.
