Pravda-hodnota, v logice, pravda (T nebo 1) nebo nepravda (F nebo 0) daného výroku nebo prohlášení. Logické spojky, jako je disjunkce (symbolizované ∨, pro „nebo“) a negace (symbolizované ∼), lze považovat za pravdivé funkce, protože pravdivostní hodnota složené nabídky je funkcí nebo množstvím závislým na, pravdivé hodnoty jejích součástí.
Pravdivost hodnoty složeného prohlášení lze snadno otestovat pomocí tabulky známé jako tabulka pravdy. Každý řádek tabulky představuje možnou kombinaci pravdivých hodnot pro návrhy komponent sloučeniny a počet řádků je určen počtem možných kombinací. Pokud například sloučenina obsahuje pouze dva návrhy komponent, budou v tabulce čtyři možnosti, a tedy čtyři řádky. Logické vlastnosti běžných spojek mohou být zobrazeny tabulkami pravdy takto:
ve kterém · znamená „a“ a ⊃ znamená „pokud… pak." (Například v tabulce „nebo“ druhý řádek zní: „Pokud je p pravdivé a q je nepravdivé, pak je p ∨ q pravdivé.“) Pravdivé tabulky mnohem větší složitosti, ty s množstvím pravdivých funkcí, mohou být konstruovány pomocí počítače. Byly zkonstruovány abstraktní systémy logiky, které používají tři pravdivé hodnoty (např. Pravdivé, nepravdivé a neurčité) nebo dokonce mnoho, jako ve fuzzy logice, ve kterých mají výroky hodnoty mezi 0 a 1.
