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

Из Википедије, слободне енциклопедије

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

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

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

Литература[уреди]

  • Buss, Samuel (1998). "An introduction to proof theory". Handbook of proof theory: 1–78, Elsevier. ISBN 0-444-89840-9.