Literal (lat. literalis, 'koji je izraziv pismom') zbirni je pojam u matematičkoj logici koji se odnosi na propozicionalnu varijablu ili njezinu negaciju . Preciznije, atomarna formula i njezina negacija nazivaju se literalom.Mladen Vuković, Matematička logika 1: skripta, PMF-Matematički odjel, Zagreb, 2007., četvrto izdanje, str. 22
Postoje dva tipa literala: pozitivni literal (atomarna formula) i negativni literal (njezina negacija).Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer, 2. izdanje, 2001., str. 30
Izvori
Kategorija:Matematička logika