Letterale
# Letterale

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

Un letterale può essere di due tipi: positivo o negativo.

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

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

