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