Літерал (математична логіка)

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
У Вікіпедії є статті про інші значення цього терміна: Літерал (програмування).

У математичній логіці літералом називають атомарну формулу, без 0 і 1, або її логічне заперечення.[1] Відповідно, існують два типи літералів:

  • Ствердний літерал — безпосередньо атомарна формула.
  • Заперечний літерал — логічне заперечення атомарної формули.

Літерал в логіці висловлень[ред. | ред. код]

У логіці висловлень літералом називають змінну або її логічне заперечення.

Відповідно, ствердним літералом називають безпосередньо змінну, а заперечним літералом — логічне заперечення змінної.

Примітки[ред. | ред. код]

  1. ↑ Ben-Ari, Mordechai (2001). Mathematical Logic for Computer Science (вид. 2nd). Springer. с. 30. ISBN 1-85233-319-7. Літрерал це атомарна формула або її заперечення. Атомарна формула це ствердний літерал, а заперечення атомарної формули це заперечний літерал.
Ця стаття є заготовкою. Ви можете допомогти проєкту, доробивши її. Це повідомлення варто замінити точнішим.
Отримано з https://uk.wikipedia.org/w/index.php?title=Літерал_(математична_логіка)&oldid=39455018