Positive Literal

Definition

Positive Literal

A positive literal is a literal that is an atom $p$, as opposed to a negative literal $\neg p$. The order-specific reading: propositional positive literals and first-order positive literals.

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$.

Link to original

First-order logic

In first-order logic, a positive literal is an atomic formula $P(t_1,\dots ,t_n)$.