In
logica matematica, un
valore di verità (o
valore logico) è un valore che stabilisce il limite entro cui una
proposizione risulta
vera.
In
logica classica, gli unici possibili valori di verità sono vero e falso, per denotare i quali si usano le lettere maiuscole
V ed
F, ovvero i due numeri
1 e
0, rispettivamente. Ciò nonostante, altri valori sono possibili in altre logiche: nella
logica fuzzy e nella
logica polivalente sono utilizzati altri valori di verità che indicano semplicemente
vero e
falso.