Versione delle 17:45, 2 giu 2009 modifica SanniBot (discussione \| contributi) Bot 119 140 modifiche m fix ← Differenza precedente		Versione delle 17:43, 6 gen 2010 modifica annulla No2 (discussione \| contributi) Utenti autoverificati, Mover 416 473 modifiche m - link errato Differenza successiva →
Riga 1: {{S\|matematica}} 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 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]].

Valore di verità: differenze tra le versioni