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

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

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

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

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

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.