Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

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



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

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

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

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

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


Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Математична логіка
Математична логіка
Сигнатура (математична логіка)
Математична економіка
Математична хімія
Математична картографія
Математична статистика
Математична структура
Математична структура
© Усі права захищені
написати до нас
Рейтинг@Mail.ru