Revisió del 04:44, 7 oct 2011 modifica Mcapdevila (discussió \| contribucions) 185.518 edits m ha reanomenat Valor de veritat com a Valor veritable: Més adhoc ← Edició anterior		Revisió del 04:45, 7 oct 2011 modifica desfés Mcapdevila (discussió \| contribucions) 185.518 edits Cap resum de modificació Edició següent →
Línia 1: En [[lògica]], un ''' valor ~~de veritat~~veritable ''' és un valor que indica en quina mesura una declaració és [[veritat]]. En [[lògica clàssica]], els únics valors de veritat possibles són [[~~veritat~~veritable]] i [[~~falsedat~~fals]]. No obstant això, altres valors són possibles en altres lògiques. Una [[lògica intuicionista]] simple té valors de veritat, falsedat i desconegut, mentre que la [[lògica difusa]] i altres formes de [[lògica multi-~~valorada~~valor]] també utilitzen més valors de veritat que simplement veritable i fals. Algebraicament, el conjunt{veritable, fals}forma un [[àlgebra booleana]] simple (subdirectora irreductible). Altres àlgebres booleanes es poden utilitzar com a conjunts de valors de veritat a lògiques multi valors reals, mentre que la lògica intuicionista generalitza les àlgebres booleanes a [[àlgebra de Heyting\|àlgebres de Heyting]].

Valor veritable: diferència entre les revisions