¿Qué es?
No se ha añadido ninguna twiki todavía.
Lógicas que no se fundan en el principio clásico de bivalencia, sino que otorgan a las funciones veritativas valores intermedios entre la verdad y la falsedad. Son lógicas finitas polivalentes aquellas que admiten valores intermedios finitos, y lógicas infinitas polivalentes aquellas que admiten una serie infinita de valores intermedios.
La lógica de enunciados trivalente, desarrollada por vez primera por Lukasiewicz (ver texto ) admite tres valores de verdad:
Para este tipo de lógica, la tabla de verdad correspondiente a la definición de la conjunción es la siguiente:
