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 $\overline{l}$. Più precisamente, se $l\equiv x$ allora $\overline{l}$ è $\mathrm{\neg }x$ e se $l\equiv \mathrm{\neg }x$ allora $\overline{l}$ è $x$.

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

Bibliografia

• Template:Cita libro
• Template:Cita libro