literal

in propositional logic a literal is simply a propositional variable or its negation.

its general form is

in predicate logic a literal is an atomic statement or its negation, where an atomic statement is a predicate symbol applied to a set of terms.