Литерал (математичка логика)

С Википедије, слободне енциклопедије
(преусмерено са Литерал)

У математичкој логици, литерал је атомичка формула (атом) или њена негација. Литерали се могу поделити у два типа:

  • Позитивни литерал је само атом.
  • Негативни литерал је негација атома.

Чист литерал је литерал, такав да је свако понављање његове променљиве у некој формули истог знака (или свуда негирано, или свуда ненегирано).

Литература[уреди | уреди извор]

  • Buss, Samuel (1998). "An introduction to proof theory". Handbook of proof theory: 1–78, Elsevier. ISBN 978-0-444-89840-1. 
Преузето из „https://sr.wikipedia.org/w/index.php?title=Литерал_(математичка_логика)&oldid=26919340”