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:

2318.png