Literal

Izvor: testwiki
Inačica 1954 od 10. ožujka 2025. u 12:57 koju je unio imported>Hijerovit
(razl) ← Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Prijeđi na navigaciju Prijeđi na pretraživanje

Literal (lat. literalis, 'koji je izraziv pismom')[1] zbirni je pojam u matematičkoj logici koji se odnosi na propozicionalnu varijablu P ili njezinu negaciju ¬P. Preciznije, atomarna formula i njezina negacija nazivaju se literalom.[2]

Postoje dva tipa literala: pozitivni literal (atomarna formula) i negativni literal (njezina negacija).[3]

Izvori

Predložak:Izvori

  1. ↑ Predložak:Cite web
  2. ↑ Mladen Vuković, Matematička logika 1: skripta, PMF-Matematički odjel, Zagreb, 2007., četvrto izdanje, str. 22
  3. ↑ Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer, 2. izdanje, 2001., str. 30
Dobavljeno iz "https://hr.wiki.beta.math.wmflabs.org/w/index.php?title=Literal&oldid=1954"