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