Литерал в теории булевых функций и логике высказываний — булева формула, имеющая вид или для некоторой переменной . Разделяют два типа литералов: Положительный литерал — формула вида ; Отрицательный литерал — формула вида . Литералы иногда обозначаются , где принимает значение или . Это обозначение определяется следующим образом:
В логике первого или высших порядков литералом называют либо атомарную формулу, (логические константы атомарной формулой не считаются), либо её логическое отрицание. Соответственно, разделяют два типа литералов: Положительный литерал — непосредственно атомарная формула. Отрицательный литерал — логическое отрицание атомарной формулы.
Категория:Математическая логика Категория:Теория дискретных функций