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.