Valore di verità, in logica, verità (T o 1) o falsità (F o 0) di una data proposizione o affermazione. I connettivi logici, come la disgiunzione (simboleggiata ∨, per “o”) e la negazione (simboleggiata ∼), possono essere pensati come funzioni di verità, perché il valore di verità di una proposizione composta è una funzione di, o una quantità dipendente dai valori di verità delle sue parti componenti.
Il valore di verità di un’affermazione composta può essere facilmente verificato per mezzo di un grafico noto come tabella di verità. Ogni riga della tabella rappresenta una possibile combinazione di valori di verità per le proposizioni componenti il composto, e il numero di righe è determinato dal numero di combinazioni possibili. Per esempio, se il composto contiene solo due proposizioni componenti, ci saranno quattro possibilità e quindi quattro righe della tabella. Le proprietà logiche dei connettivi comuni possono essere visualizzate da tabelle di verità come segue:
in cui – significa “e” e ⊃ significa “se . . . allora”. (Nella tabella “o”, per esempio, la seconda riga dice: “Se p è vero e q è falso, allora p ∨ q è vero”). Tabelle di verità di complessità molto maggiore, quelle con un certo numero di funzioni di verità, possono essere costruite per mezzo di un computer. Sono stati costruiti sistemi astratti di logica che impiegano tre valori di verità (ad esempio, vero, falso e indeterminato) o anche molti, come nella logica fuzzy, in cui le proposizioni hanno valori tra 0 e 1.