Literal

A literal in propositional logic is either a variable or a negation of a variable. In first-order logic, a literal is a relation or a negation of a relation.

References

Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.