Bogstaveligt (matematisk logik)

I matematisk logik er en bogstavelig en atomformel uden 0 og 1 eller dens logiske negation . Følgelig skelnes der mellem to typer bogstaver:

• En positiv bogstavelig er direkte en atomformel .
• En negativ bogstavelig er den logiske negation af en atomformel .

Literal i propositionel logik

I propositionel logik er en literal en logisk variabel eller dens logiske negation . Følgelig kaldes en positiv literal selve variablen, og en negativ literal  er den logiske negation af variablen .