Definition
Literal
A literal is an atom or the negation of an atom. The precise reading depends on the order of the underlying logic: propositional literals and first-order literals differ in what counts as an atom.
Propositional logic
Definition
Link to originalLiteral (Propositional Logic)
A literal is an atom or the negation of an atom.
- A positive literal is an atom
(positive literal). - A negative literal is the negation
of an atom (negative literal). Every clause and every conjunctive normal form is built from literals.