У математичній логіці літералом називають атомарну формулу, без 0 і 1, або її логічне заперечення.[1] Відповідно, існують два типи літералів:
- Ствердний літерал — безпосередньо атомарна формула.
- Заперечний літерал — логічне заперечення атомарної формули.
Літерал в логіці висловлень
У логіці висловлень літералом називають змінну або її логічне заперечення.
Відповідно, ствердним літералом називають безпосередньо змінну, а заперечним літералом — логічне заперечення змінної.
Примітки
- ↑ Ben-Ari, Mordechai (2001). Mathematical Logic for Computer Science (вид. 2nd). Springer. с. 30. ISBN 1-85233-319-7.
Літрерал це атомарна формула або її заперечення. Атомарна формула це ствердний літерал, а заперечення атомарної формули це заперечний літерал.