Definition:Literal

From ProofWiki
Jump to navigation Jump to search

Definition

A literal is either:


In the language of propositional logic, these correspond to:


Positive Literal

A positive literal is an atom $p$ of propositional logic.


Negative Literal

A negative literal is the negation $\neg p$ of an atom $p$ of propositional logic.


Also known as

It is also known as a basic statement or basic sentence.

Some sources refer to it as an atom.


When discussing the (formal) language of propositional logic, this can be referred to as a basic WFF.


Sources