Літерал (математична логіка): відмінності між версіями
Перейти до навігації
Перейти до пошуку
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
оформлення |
Немає опису редагування |
||
Рядок 1: | Рядок 1: | ||
{{без джерел|дата=липень 2011}} |
|||
{{otheruses|Літерал (програмування)}} |
{{otheruses|Літерал (програмування)}} |
||
У [[математична логіка|математичній логіці]] '''літералом''' називають [[атомарна формула|атомарну формулу]], без 0 і 1, або її [[логічне заперечення]]. Відповідно, існують два типи літералів: |
У [[математична логіка|математичній логіці]] '''літералом''' називають [[атомарна формула|атомарну формулу]], без 0 і 1, або її [[логічне заперечення]].<ref name=Ben-Ari>{{cite book |last=Ben-Ari |first=Mordechai |date=2001 |title=Mathematical Logic for Computer Science |edition=2nd |publisher=Springer |isbn=1-85233-319-7 |page=30 |quote=''Літрерал'' це атомарна формула або її заперечення. Атомарна формула це ''ствердний літерал'', а заперечення атомарної формули це ''заперечний літерал''.}}</ref> Відповідно, існують два типи літералів: |
||
* '''Ствердний літерал''' — безпосередньо атомарна формула. |
* '''Ствердний літерал''' — безпосередньо атомарна формула. |
||
* '''Заперечний літерал''' — логічне заперечення атомарної формули. |
* '''Заперечний літерал''' — логічне заперечення атомарної формули. |
||
Рядок 9: | Рядок 8: | ||
Відповідно, '''ствердним літералом''' називають безпосередньо змінну, а '''заперечним літералом''' — логічне заперечення змінної. |
Відповідно, '''ствердним літералом''' називають безпосередньо змінну, а '''заперечним літералом''' — логічне заперечення змінної. |
||
== Примітки == |
|||
{{reflist}} |
|||
{{stub}} |
{{stub}} |
Поточна версія на 10:28, 10 травня 2023
У математичній логіці літералом називають атомарну формулу, без 0 і 1, або її логічне заперечення.[1] Відповідно, існують два типи літералів:
- Ствердний літерал — безпосередньо атомарна формула.
- Заперечний літерал — логічне заперечення атомарної формули.
Літерал в логіці висловлень[ред. | ред. код]
У логіці висловлень літералом називають змінну або її логічне заперечення.
Відповідно, ствердним літералом називають безпосередньо змінну, а заперечним літералом — логічне заперечення змінної.
Примітки[ред. | ред. код]
- ↑ Ben-Ari, Mordechai (2001). Mathematical Logic for Computer Science (вид. 2nd). Springer. с. 30. ISBN 1-85233-319-7.
Літрерал це атомарна формула або її заперечення. Атомарна формула це ствердний літерал, а заперечення атомарної формули це заперечний літерал.