Negative Literal (Propositional Logic)

Definition

Negative Literal (Propositional Logic)

A negative literal is a literal that is the negation $\neg p$ of an atom, as opposed to a positive literal $p$.