Lukas' Notes

Definition

Negative Literal (Propositional Logic)

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