У математичкој логици, литерал је атомичка формула (атом) или њена негација. Литерали се могу поделити у два типа:
- Позитивни литерал је само атом.
- Негативни литерал је негација атома.
Чист литерал је литерал, такав да је свако понављање његове променљиве у некој формули истог знака (или свуда негирано, или свуда ненегирано).
Литература
- Buss, Samuel (1998). "An introduction to proof theory". Handbook of proof theory: 1–78, Elsevier. ISBN 978-0-444-89840-1.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
