Литерал (математическая логика)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Литерал в логике высказываний[править | править исходный текст]

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

Соответственно, положительным литералом называют непосредственно переменную, а отрицательным литералом — логическое отрицание переменной.