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 
.
En lógica de primer orden, dos literales l1 y l2 son complementarios si l1 y 
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
