Literal

A statement letter or a negation of a statement letter (Mendelson 1997, p. 30).

See also

Conjunctive Normal Form, Disjunctive Normal Form, Negation, Statement Letter

Explore with Wolfram|Alpha

More things to try:

References

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

Referenced on Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Literal." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Literal.html

Subject classifications