(Redirecionado de )
As referências deste artigo necessitam de formatação. Por favor, utilize fontes apropriadas contendo título, autor e data para que o verbete permaneça verificável. (agosto de 2021) |
Na lógica matemática, um literal é uma fórmula atômica (átomo) ou a negação de um átomo. Os literais podem ser divididos em dois tipos:
- Um literal positivo nada mais é do que um átomo.
- Um literal negativo é a negação de um átomo.
Dois literais são ditos opostos ou complementares se um deles é a negação do outro. É usual denotar-se por 👁 {\displaystyle q^{op}}
o literal oposto a 👁 {\displaystyle q}
.
Um literal 👁 {\displaystyle q}
é dito puro em um conjunto de cláusulas 👁 {\displaystyle S}
se este conjunto não contém cláusulas da forma 👁 {\displaystyle (D\vee q^{op}\vee E).}
Referências
[editar | editar código]O termo "literal" foi introduzido na literatura em:
- W. v. O. Quine, "A way to simplify truth functions", The American Mathematical Monthly, vol. 62 (1955), pp. 627-631.
Este mesmo termo foi posteriormente consagrado pelo artigo:
- M. Davis & H. Putnam, "A computing procedure for quantification theory", Journal of the ACM, vol. 7 (1960), pp. 201-215.
| 👁 Ícone de esboço |
Este artigo sobre lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o. |
