# Definition:Literal/Negative

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