Literal (lógica matemática)

Literal (lógica matemática)

En lógica matemática, un literal es una fórmula atómica o la negación de una.

Los literales pueden se pueden caracterizar en dos tipos de acuerdo a su signo:

  • Un literal positivo es una fórmula atómica.
  • Un literal negativo es la negación de una fórmula atómica.

En lógica proposicional, dos literales l1 y l2 son complementarios si l_1 \equiv \lnot l_2.

En lógica de primer orden, dos literales l1 y l2 son complementarios si l1 y \lnot l_2 son unificables.

Bibliografía


Wikimedia foundation. 2010.

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

Mira otros diccionarios:

  • Literal — puede referirse a: Lo relativo a la letra (no debe confundirse con literario) Lo que se lee o reproduce al pie de la letra (completamente y con exactitud) Lenguaje literal por oposición al lenguaje figurativo (que utiliza recursos que alteran la… …   Wikipedia Español

  • Cláusula (lógica) — En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma: donde cada li, con i = {1,...,n} es un literal. Análogamente, se llama cláusula conjuntiva a una conjunción de… …   Wikipedia Español

  • Leonhard Euler — Retrato de Leonhard Euler, pintado por Johann Georg Bruck …   Wikipedia Español

  • Síndrome de Asperger — Clasificación y recursos externos CIE 10 F84.5 CIE 9 299.8 OMIM …   Wikipedia Español

  • George Boole — Nacimiento 2 de noviembre de 1815 Lincoln, Lincolnshire, Inglaterra Fallecimiento …   Wikipedia Español

  • Historia de la ciencia y la tecnología en España — Fragmento del Atlas catalán de Abraham Cresques, 1375. Historia de la ciencia y la tecnología en España es la denominación …   Wikipedia Español

  • 0,9 periódico — En matemáticas, 0,999... es el número decimal periódico que se demuestra denota[1] al número 1. En otras palabras, los símbolos 0,999... y 1 son dos representaciones distintas del mismo número real. Las demostraciones matemáticas de esta igualdad …   Wikipedia Español

  • Ciencia medieval — Dios creando el universo a través de principios geométricos. Frontispicio de la Bible Moralisée, 1215 …   Wikipedia Español

  • Historia de la estética — El nacimiento de Venus, de Sandro Botticelli, ejemplo arquetípico de belleza clásica …   Wikipedia Español

  • Immanuel Kant — Nacimiento …   Wikipedia Español

Compartir el artículo y extractos

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