Literal (mathematical logic)

From Wikipedia, the free encyclopedia

You have new messages (last change).

In mathematical logic, a literal is an atomic formula (atom) or its negation. Literals can be divided into two types:

  • A positive literal is just an atom.
  • A negative literal is the negation of an atom.

A pure literal is a literal such that every occurrence of its variable (within some formula) has the same sign.

[edit] References

  • Buss, Samuel (1998). "An introduction to proof theory". Handbook of proof theory, 1–78, Elsevier. ISBN 0-444-89840-9.
 This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../l/i/t/Literal_%28mathematical_logic%29.html"
In other languages