В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов:
- Положительный литерал — непосредственно атомарная формула.
- Отрицательный литерал — логическое отрицание атомарной формулы.
Литерал в логике высказываний
В логике высказываний литералом называют логическую переменную или её логическое отрицание. Соответственно, положительным литералом называют непосредственно переменную, а отрицательным литералом — логическое отрицание переменной.
Эта страница в последний раз была отредактирована 3 марта 2023 в 15:52.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Обычно почти сразу, изредка в течении часа.