Valore di verità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica |
|||
Riga 1:
{{S|logica}}
In [[logica matematica]], un '''valore di verità''' (o '''valore logico''') è un valore che stabilisce il limite entro cui una [[Proposizione (logica)|proposizione]] risulta [[Verità|vera]].<br />
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''.
Algebricamente, l'[[insieme]] <math>\{ \mbox{vero, falso} \}</math> costituisce un'[[Algebra di Boole|algebra booleana]] a due stati. Alternativamente, si possono adoperare altri tipi di [[Algebra|algebre]] come insiemi di valori di verità in logiche non classiche: ad esempio, la [[logica intuizionista]] sfrutta un'[[algebra di Heyting]].
| |||