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

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

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

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

Літерал в логіці висловлень

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

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

Примітки

1. Ben-Ari, Mordechai (2001). Mathematical Logic for Computer Science (вид. 2nd). Springer. с. 30. ISBN . Літрерал це атомарна формула або її заперечення. Атомарна формула це ствердний літерал, а заперечення атомарної формули це заперечний літерал.