Definition:Literal/Negative

Definition
A negative literal is the negation $\neg p$ of an atom $p$ of propositional logic.

Also see

 * Definition:Positive Literal