![]()
Литерал (математическая логика)
В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов:
- Положительный литерал — непосредственно атомарная формула.
- Отрицательный литерал — логическое отрицание атомарной формулы.
![]()
![]()
Литерал в логике высказываний![]()
Править
В логике высказываний литералом называют логическую переменную или её логическое отрицание. Соответственно, положительным литералом называют непосредственно переменную, а отрицательным литералом — логическое отрицание переменной.
Это статья-заготовка по математике. Помогите Википедии, дополнив эту статью, как и любую другую. |
В статье не хватает ссылок на источники (см. рекомендации по поиску). |