Revisió del 10:29, 29 jul 2018 modifica Misterspritz (discussió \| contribucions) Autopatrullats 56.003 edits corr. traducció Etiqueta: edició visual: canviat ← Edició anterior		Revisió del 10:32, 29 jul 2018 modifica desfés Misterspritz (discussió \| contribucions) Autopatrullats 56.003 edits m m Edició següent →
Línia 3: En [[lògica clàssica]], els únics valors de veritat possibles són [[veritable]] i [[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-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]]. En [[topologia]], el [[classificador de subobjectes]] de l'[[espai topològic]] pren el lloc del conjunt de valors de veritat.

Valor veritable: diferència entre les revisions