Literal (lógica matemática)
De Wikipedia, a enciclopédia encyclopedia
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.
![]() | As referências deste artigo necessitam de formatação. (Agosto de 2021) |
Dois literais são ditos opostos ou complementares se um deles é a negação do outro. É usual denotar-se por o literal oposto a
.
Um literal é dito puro em um conjunto de cláusulas
se este conjunto não contém cláusulas da forma