Lt304888.ru

Туристические услуги

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

15-10-2023

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

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

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

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

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

© 2020–2023 lt304888.ru, Россия, Волжский, ул. Больничная 49, +7 (8443) 85-29-01