# Definition:Literal/Positive

(Redirected from Definition:Positive Literal)
A positive literal is an atom $p$ of propositional logic.