En lógica matemática, un literal es una fórmula atómica o su negación.
La definición del concepto se halla sobre todo en la teoría de la demostración.
Se pueden considerar dos tipos de variables: Se dice que dos literales son opuestos o complementarios si uno de ellos es la negación del otro.
Si un literal se expresa como
, su opuesto o complementario se puede expresar como
De manera más precisa, si
Con respecto a una fórmula expresada según la forma normal conjuntiva, se dice que un literal es puro si no aparece su complementario en esa fórmula.
Dicho de otra manera, en un conjunto de cláusulas
, un literal es puro si en ese conjunto no hay cláusulas con la forma
En un lenguaje menos formal, Un literal en una fórmula en CNF es puro si aparece o bien siempre negado o bien siempre sin negar.
Además, se dice que una cláusula C es redundante si contiene al menos un paralelo puro.
En la lógica proposicional, un literal es una variable proposicional.
En la lógica de primer orden o lógica de predicados, dos literales
Un literal es una fórmula atómica o su negación, entendiéndose por fórmula atómica un símbolo de predicado aplicado a algunos términos,
, expresados mediante definición repercusiva (llamada también inductiva) a partir de símbolos de constante, símbolos de variable y símbolos de función.
( f ( g ( x ) , y , 2 ) , x )
{\displaystyle \neg Q(f(g(x),y,2),x)}
es un literal negativo con los siguientes símbolos: puch Con el significado que se trata en el presente artículo, el término «literal» fue empleado por primera vez en este otro: El uso del término se consolidó a partir de otro más: En una de sus ediciones, este artículo de la Wikipedia en español es resultado de la traducción parcial de los correspondientes de las Wikipedias en inglés, francés y portugués.