Definition:Literal/Positive

Definition
A positive literal is an atom $p$ of propositional logic.

Also see

 * Definition:Negative Literal