Nella logica proposizionale , un letterale e una formula atomica o la sua negazione .

Un letterale puo essere di due tipi: positivo o negativo.

Dato un letterale ${\displaystyle l}$, il suo complemento e un letterale rappresentato con la negazione di ${\displaystyle l}$, e viene scritto con ${\displaystyle {\bar {l}}}$. Piu precisamente, se ${\displaystyle l\equiv x}$ allora ${\displaystyle {\bar {l}}}$ e ${\displaystyle \lnot x}$ e se ${\displaystyle l\equiv \lnot x}$ allora ${\displaystyle {\bar {l}}}$ e ${\displaystyle x}$.

Nel contesto di una formula in forma normale congiuntiva , un letterale e detto puro se il suo complemento non appare nella formula.

Bibliografia [ modifica | modifica wikitesto ]

• Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi, Linguaggi modelli complessita , Milano, Franco Angeli Editore, 2003, ISBN   88-464-4470-1 .
• ( EN ) Samuel R. Buss, An introduction to proof theory , in Samuel R. Buss (a cura di), Handbook of proof theory , Elsevier, 1998, pp. 1?78, ISBN   0-444-89840-9 .

Portale Informatica

Portale Matematica