Positive Literal

Definition

Positive Literal

A positive literal is a literal that is an atom , as opposed to a negative literal . 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 , as opposed to a negative literal .

Link to original

First-order logic

In first-order logic, a positive literal is an atomic formula .