Valore di verità
![Abbozzo](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Puzzle_stub.svg/45px-Puzzle_stub.svg.png)
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, e ogni proposizione assume necessariamente almeno uno dei due valori e nessun altro (un valore e uno solo), per denotare i quali si usano le lettere maiuscole V ed F, ovvero i due numeri 1 e 0, rispettivamente.
Algebricamente, l'insieme costituisce un'algebra booleana a due stati. Alternativamente, si possono adoperare altri tipi di algebre come insiemi di valori di verità in logiche non classiche: ad esempio, la logica intuizionista sfrutta un'algebra di Heyting. 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.
In teoria dei topos, il suboggetto classificatore di un topos prende il posto dell'insieme dei valori di verità.
Bibliografia
- Elliott Mendelson. Introduzione alla logica matematica. Torino, Bollati Boringhieri, 1972. ISBN 88-339-5284-3.
Voci correlate
- Connettivo logico
- Negazione (matematica)
- Tautologia
- Contraddizione
Collegamenti esterni
- (EN) truth-value, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Yaroslav Shramko e Heinrich Wansing, Truth Values, su Stanford Encyclopedia of Philosophy.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)