Lógica trivalente

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


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Lógica plurivalente — Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.[1] Distintas lógicas plurivalentes… …   Wikipedia Español

  • Lógica bivalente — La exactitud de la información en este artículo o sección está discutida. En la página de discusión puedes consultar el debate al respecto. Una lógica bivalente es un sistema lógico que admite sólo dos valores de verdad para sus enunciados… …   Wikipedia Español

  • Lógica bivalente — Un sistema de lógica bivalente admite sólo dos valores de verdad para sus enunciados (premisas y conclusión). Es decir, en lógica bivalente, un enunciado ha de ser verdadero o falso y no puede ser verdadero y falso a la vez. Por el contrario, los …   Enciclopedia Universal

  • logica — 1lò·gi·ca s.f. 1. TS filos. scienza che studia le condizioni per cui il ragionamento risulta corretto | teoria del modo con cui da una o più asserzioni si passa correttamente a un altra: nascita della logica nell ambito del pensiero greco… …   Dizionario italiano

  • Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …   Wikipedia Español

  • Idioma aimara — Para otros usos de este término, véase aimara. Aimara Aymar aru / Jaqi aru Hablado en  Bolivia (La Paz, Oruro, Potosí) …   Wikipedia Español

  • Jan Łukasiewicz — (21 de diciembre de 1878 13 de febrero de 1956) fue un matemático polaco que nació en Lwów, Galicia (actual Ucrania). Su trabajo matemático se centró en la lógica matemática. Él pensó innovar en la tradicional lógica proposicional, el principio… …   Wikipedia Español

  • Gripe — Este artículo trata sobre la enfermedad. Para la propagación mundial de 2009 2010 por H1N1, véase Pandemia de gripe A (H1N1) de 2009 2010. Gripe …   Wikipedia Español

  • Un nuevo tipo de ciencia — Una nueva clase de ciencia (en inglés, A New Kind of Science) es un libro de Stephen Wolfram, publicado en 2002. Contiene un estudio empírico y sistemático de los sistemas computacionales tales como los autómatas celulares. Wolfram denomina… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”