Literal (mathematical logic)

In mathematical logic, a literal is an atomic formula (also known as an atom or prime formula) or its negation. The definition mostly appears in proof theory (of classical logic), e.g.

Source: Wikipedia — Literal (mathematical logic) (CC BY-SA 4.0)