Lógica bivalente

Lógica bivalente

Una lógica bivalente es un sistema lógico que admite sólo dos valores de verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una proposición sólo puede ser verdadera o falsa, no existen valores intermedios de verdad. El clásico sistema de lógica bivalente es la lógica aristotélica que se sustenta en tres principios básicos:

  1. Principio de identidad: A es verdad si y sólo si A es verdad. A<->A
  2. Principio de no contradicción: A no puede ser A y no-A al mismo tiempo. ¬(A ^ ¬A)
  3. Principio de tercero excluido: A es verdadero o es falso, no hay una tercera posibilidad. A v ¬A

No admite tampoco matices modales en sus enunciados, tales como "es necesario que", "es imposible que", etc. Se limita al lenguaje enunciativo o declarativo.

Existen otros sistemas de lógicas que no se sustentan en estos principios y por lo tanto admiten más de dos valores de verdad. Los sistemas de lógica modales o plurivalentes (como la lógica trivalente de Jan Łukasiewicz o la lógica trivalente de Kleene), aceptan un tercer valor, como "indeterminado" o "posible".

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • 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

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • 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 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… …   Wikipedia Español

  • Lógica difusa — En la lógica clásica una proposición sólo admite dos valores: puede ser verdadera o falsa. Por eso se dice que la lógica usual es bivalente o binaria. Pero existen otras lógicas que admiten además un tercer valor: posible (lógica trivaluada). La… …   Enciclopedia Universal

  • Proposición (lógica) — Saltar a navegación, búsqueda En lógica y filosofía, el término proposición se usa para referir a:[1] Las entidades portadoras de los valores de verdad.[1] Los objetos de las creencias y de otras actitudes proposicionales.[ …   Wikipedia Español

  • Falacia — Este artículo o sección necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso. También puedes ayudar wikificando otros artículos o cambiando este …   Wikipedia Español

  • Prejuicio cognitivo — Saltar a navegación, búsqueda El hombre en el centro ha cometido un error en sus pasos de baile, y choca contra la mujer, que se enoja y los demás murmuran. Sólo las personas que vieron la miniserie Orgullo y prejuicio (1995) pueden entender el… …   Wikipedia Español

  • Anexo:Sesgos cognitivos — El hombre en el centro ha cometido un error en sus pasos de baile, y choca contra la mujer, que se enoja y los demás murmuran. En la obra de Jane Austen Orgullo y prejuicio (1813) se muestra claramente el prejuicio de clases sociales y cómo el… …   Wikipedia Español

  • Proposición — ► sustantivo femenino 1 Acción y resultado de dar a conocer una cosa, tratando de obtener la conformidad o aceptación de otra persona: ■ su proposición fue bien acogida en la reunión. SINÓNIMO propuesta 2 GRAMÁTICA Oración gramatical. 3 LÓGICA… …   Enciclopedia Universal

Compartir el artículo y extractos

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