Literal

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 $\neg 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

↑ literal (adj.). Etymonline. Pristupljeno 10. ožujka 2025.
↑ Mladen Vuković, Matematička logika 1: skripta, PMF-Matematički odjel, Zagreb, 2007., četvrto izdanje, str. 22
↑ Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer, 2. izdanje, 2001., str. 30