Lògiques polivalents
De Wikisofia
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Lògiques que no es funden en el principi clàssic de bivalencia, sinó que atorguen a les funció veritativa|funcions...».)
La revisió el 09:40, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Lògiques que no es funden en el principi clàssic de bivalencia, sinó que atorguen a les funció veritativa|funcions...».)
Lògiques que no es funden en el principi clàssic de bivalencia, sinó que atorguen a les funcions veritatives valors intermedis entre la veritat i la falsedat. Són lògiques finites polivalents aquelles que admeten valors intermedis finits, i lògiques infinites polivalents aquelles que admeten una sèrie infinita de valors intermedis.
La lògica d'enunciats trivalente, desenvolupada per vegada primera per Lukasiewicz (veure text ) admet tres valors de veritat:
Per a aquest tipus de lògica, la taula de veritat corresponent a la definició de la conjunció és la següent:
