Negative Literal

Definition

Negative Literal

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

Propositional logic

Definition

Negative Literal (Propositional Logic)

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

Link to original

First-order logic

In first-order logic, a negative literal is the negation $\neg P(t_1,\dots ,t_n)$ of an atomic formula.