În logica matematică, un literal este o formulă atomică , fără 0 și 1, sau negația sa logică . În consecință, se disting două tipuri de literale:
În logica propozițională, un literal este o variabilă logică sau negația sa logică . În consecință, un literal pozitiv este numit variabilă în sine, iar un literal negativ este negația logică a variabilei .