Викия

Математика

Литерал

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

В математической логике литералом называют атомарную формулу, без 0 и 1, или ее логическое отрицание. Соответственно, разделяют два типа литералов:

Литерал в логике высказываний Править

В логике высказываний литералом называют переменную или ее логическое отрицание.

Соответственно, положительным литералом называют непосредственно переменную, а отрицательным литераломлогическое отрицание переменной.nl:Literal pl:Literał

Викия-сеть

Случайная вики