Doslovný (matematická logika)

V matematické logice je literál atomový vzorec bez 0 a 1 nebo jeho logické negace . Podle toho se rozlišují dva typy literálů:

• Kladný literál je přímo atomový vzorec .
• Negativní literál je logická negace atomového vzorce .

Doslovný ve výrokové logice

Ve výrokové logice je literál logická proměnná nebo její logická negace . V souladu s tím se kladný literál nazývá samotná proměnná a záporný literál  je logickou negací proměnné .