Sannhetsverdi, i logikk, sannhet (T eller 1) eller falskhet (F eller 0) for en gitt proposisjon eller uttalelse. Logiske tilkoblinger, for eksempel disjunksjon (symbolisert ∨, for “eller”) og negasjon (symbolisert ∼), kan tenkes å være sannhetsfunksjoner, fordi sannhetsverdien til en sammensatt proposisjon er en funksjon av, eller en mengde avhengig av, sannhetsverdiene til komponentene.
Sannhetsverdien av et sammensatt utsagn kan lett testes ved hjelp av et diagram som er kjent som en sannhetstabell. Hver rad i tabellen representerer en mulig kombinasjon av sannhetsverdier for komponentforslagene til forbindelsen, og antall rader bestemmes av antall mulige kombinasjoner. For eksempel, hvis forbindelsen bare inneholder to komponentforslag, vil det være fire muligheter og dermed fire rader til tabellen. De logiske egenskapene til de vanlige tilkoblingene kan vises av sannhetstabeller som følger:
der · betyr “og” og ⊃ betyr “hvis… deretter." (I tabellen “eller”, for eksempel, lyder den andre linjen, “Hvis p er sant og q er usant, så er p ∨ q sant.”) Sannhetstabeller med mye større kompleksitet, de med en rekke sannhetsfunksjoner, kan konstrueres ved hjelp av en datamaskin. Det er konstruert abstrakte logistikksystemer som bruker tre sannhetsverdier (f.eks. Sanne, falske og ubestemmelige) eller til og med mange, som i uklar logikk, der proposisjoner har verdier mellom 0 og 1.
