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

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

Литерал в логике высказываний

В логике высказываний литералом называют или её логическое отрицание . Соответственно, положительным литералом называют непосредственно переменную, а отрицательным литералом — логическое отрицание переменной .

В статье не хватает ссылок на источники (см. рекомендации по поиску ). Информация должна быть проверяема , иначе она может быть удалена. Вы можете статью, добавив ссылки на авторитетные источники в виде сносок . ( 3 марта 2023 )