- Lógica trivalente
-
Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y algún otro valor indeterminado. Esto contrasta con las más comunes lógica bivalentes (tales como la clásica lógica proposicional o la lógica booleana), que contemplan únicamente Verdadero o Falso. La idea fundamental de la lógica trivalente fue formulada por Łukasiewicz, Lewis y Sulski. Después de ellos, fue reformulada de forma axiomática y algebraica por Grigore Moisil, y extendida a lógicas n, valuadas en 1945.
Tabla de verdad básica
La siguiente tabla de verdad muestra las operaciones lógicas de la lógica de Kleene. Las referencias OR, AND y NOT (O, Y, NO) están en inglés porque así se las utiliza en aplicaciones informáticas.
A B A OR B A AND B NOT A Verdadero Verdadero Verdadero Verdadero Falso Verdadero Desconocido Verdadero Desconocido Falso Verdadero Falso Verdadero Falso Falso Desconocido Verdadero Verdadero Desconocido Desconocido Desconocido Desconocido Desconocido Desconocido Desconocido Desconocido Falso Desconocido Falso Desconocido Falso Verdadero Verdadero Falso Verdadero Falso Desconocido Desconocido Falso Verdadero Falso Falso Falso Falso Verdadero En esta tabla, el valor Desconocido puede entenderse metafóricamente como una caja cerrada que tanto puede contener un Verdadero como un Falso. No existe la posibilidad de que un Desconocido contenga la posibilidad de Verdadero o Falso. Sin embargo, algunas operaciones que involucren a un Desconocido pueden dar un resultado no ambiguo. Por ejemplo, ya que Verdadero or Verdadero es Verdadero, y que Verdadero or Falso también es Verdadero, es posible inferir que Verdadero or Desconocido también es Verdadero.
Véase también
- Lógica bivalente
- Lógica polivalente
Wikimedia foundation. 2010.