Valore della verità, in logica, verità (T o 1) o falsità (F o 0) di una determinata proposizione o affermazione. I connettivi logici, come la disgiunzione (simbolizzata ∨, per “o”) e la negazione (simboleggiata ∼), possono essere pensati come funzioni di verità, perché il valore di verità di una proposizione composta è una funzione o una quantità dipendente da, i valori di verità delle sue parti componenti.
Il valore di verità di un'istruzione composta può essere prontamente testato 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 dei componenti del composto e il numero di righe è determinato dal numero di possibili combinazioni. Ad esempio, se il composto contiene solo due proposte di componenti, ci saranno quattro possibilità e quindi quattro righe nella tabella. Le proprietà logiche dei connettivi comuni possono essere visualizzate dalle tabelle di verità come segue:
in cui · significa “e” e ⊃ significa “se… poi." (Nella tabella "o", ad 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 numero di funzioni di verità, può essere costruito 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 addirittura molti, come nella logica fuzzy, in cui le proposizioni hanno valori compresi tra 0 e 1.
