Resnična vrednost, v logiki, resnica (T ali 1) ali napačnost (F ali 0) danega predloga ali izjave. Logične vezi, kot sta ločitev (simbolizirano ∨, za »ali«) in negacija (simbolizirano ∼), lahko štejemo za funkcije resnice, ker je resničnost vrednosti sestavljenega predloga funkcija ali odvisnost od količine, resnične vrednosti njegovih sestavnih delov.
Resničnost vrednosti sestavljenega stavka je mogoče zlahka preizkusiti s tabelo, znano kot tabela resnice. Vsaka vrstica tabele predstavlja možno kombinacijo vrednosti resnice za sestavine predloga sestavka, število vrstic pa je določeno s številom možnih kombinacij. Če na primer spojina vsebuje samo dve sestavni predlogi, bo na voljo štiri možnosti in s tem štiri vrstice v tabelo. Logične lastnosti skupnih veznih točk so lahko prikazane v tabelah resnice na naslednji način:
v katerem · pomeni »in« in ⊃ pomeni »če… potem. " (V tabeli „ali“ na primer druga vrstica glasi: „Če je p resničen in q je napačno, potem je p ∨ q resnično.“) Tabele resnic so veliko večje zapletenosti, tiste s številnimi funkcijami resnice, lahko izdelamo s pomočjo računalnika. Izdelani so abstraktni logični sistemi, ki uporabljajo tri resnične vrednosti (npr. Resnične, napačne in nedoločene) ali celo številne, kot v mehki logiki, v katerih imajo predlogi vrednosti med 0 in 1.
