Positive Literal (Propositional Logic)

Definition

Positive Literal (Propositional Logic)

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