1) Letterlijk 
In de wiskundige logica is een 'literaal' (Engels: 'literal') een atomaire formule (ook wel atoom genoemd) of de negatie ervan. Een literaal wordt 'positief' genoemd als het een atoom is, en 'negatief' als het de negatie van een atoom is.
(Eng: literal) 1. Symbool of grootheid dat een gegeven is en geen verwijzing naar een gegeven. 2. In een goed-gestructureerde formule (WFF) is een literaal een atoom of een nietig verklaard atoom (negated atom).