Valor veritable: diferència entre les revisions
Contingut suprimit Contingut afegit
m ha reanomenat Valor veritable com a Valor vertader: Més adhoc |
Cap resum de modificació |
||
Línia 5:
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 la teoria dels [[talps]], el [[classificador de
'' Aquesta nomenclatura està potser més d'acord amb els usos que prevalen en [[matemàtiques]] que amb els de la [[filosofia]]. ''
|