Literal (matematisk logik)

I matematisk logik är en bokstavlig en atomformel , utan 0 och 1, eller dess logiska negation . Följaktligen särskiljs två typer av bokstaver:

• En positiv bokstavlig är direkt en atomformel .
• En negativ bokstavlig är den logiska negationen av en atomformel .

Literal i propositionell logik

I propositionell logik är en literal en logisk variabel eller dess logiska negation . Följaktligen kallas en positiv bokstavlig variabel själva, och en negativ bokstavlig  är den logiska negationen av variabeln .