Literal (lógica)
Origem: Wikipédia, a enciclopédia livre.
Na lógica matemática, um literal é uma fórmula atômica (átomo) ou sua negação. Literais podem ser divididos em dois tipos:
- Um literal positivo é somente um átomo.
- Um literal negativo é a negação de um átomo.
Um literal 'q' é puro em um conjunto de cláusulas C, se não contém cláusulas da forma:
[editar] Veja também
Literais complementares
[editar] Referências
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.
O termo foi consagrado na literatura pelo artigo:
- M. Davis & H. Putram, "A computing procedure for quantification theory", Journal of the ACM, vol. 7 (1960), pp. 201-215.