In mathematical logic, a literal is an atomic formula (atom) or its negation. The definition mostly appears in proof theory (of classical logic), e.g. in conjunctive normal form and the method of resolution.

Literal (lat.  „Buchstabe“) bezeichnet in Programmiersprachen Zeichenfolgen, die zur Darstellung der Werte von Basistypen (z. B. Ganzzahlen, Gleitkommazahlen, Zeichenketten) definiert bzw. zulässig sind. Sie sind nicht benannt, werden aber über die jeweilige Umgebung ebenfalls in die Programmressourcen eingebunden. Literale können nur in rechtsseitigen Ausdrücken (z. B. rechts eines Zuweisungsoperators oder als Argument einer Funktion) auftreten. Meist werden die Literale zu den Konstanten gerechnet und dann als literale Konstanten bezeichnet, da beide im Gegensatz zu Variablen zur Laufzeit unveränderlich sind. Das Wort Konstante im engeren Sinn bezieht sich allerdings mehr auf in ihrem Wert unveränderliche Bezeichner, d. h. eindeutig benannte Objekte, die im Quelltext beliebig oft verwendet werden können, statt immer das gleiche Literal anzugeben.

En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif).

Literał - w językach programowania wartość wpisana bezpośrednio w kod programu. Różni się od stałej tym, że stała jest wartością zakodowaną pod pewną nazwą, którą można używać w programie wielokrotnie, podczas gdy literał jest po prostu zapisem wartości (liczbowej, tekstowej, itp.) w danym miejscu programu.

В математической логике литералом называют атомарную формулу, без 0 и 1, или ее логическое отрицание. Соответственно, разделяют два типа литералов:

• Положительный литерал — непосредственно атомарная формула.
• Отрицательный литерал — логическое отрицание атомарной формулы.