Литерал (математичка логика)
Из Википедије, слободне енциклопедије
У математичкој логици, литерал је атомичка формула (атом) или њена негација. Литерали се могу поделити у два типа:
- Позитивни литерал је само атом.
- Негативни литерал је негација атома.
Чист литерал је литерал, такав да је свако понављање његове променљиве у некој формули истог знака (или свуда негирано, или свуда ненегирано).
Литература [уреди]
- Buss, Samuel (1998). "An introduction to proof theory". Handbook of proof theory: 1–78, Elsevier. ISBN 0-444-89840-9.
