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

Матер?ал з В?к?пед?? ? в?льно? енциклопед??.
Перейти до нав?гац?? Перейти до пошуку
У В?к?пед?? ? статт? про ?нш? значення цього терм?на: Л?терал (програмування) .

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

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

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

[ ред. | ред. код ]

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

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

Прим?тки

[ ред. | ред. код ]
  1. ↑ Ben-Ari, Mordechai (2001). Mathematical Logic for Computer Science (вид. 2nd). Springer. с. 30. ISBN   1-85233-319-7 . Л?трерал це атомарна формула або ?? заперечення. Атомарна формула це ствердний л?терал , а заперечення атомарно? формули це заперечний л?терал .
Ця стаття ? заготовкою . Ви можете допомогти про?кту, доробивши ??. Це пов?домлення варто зам?нити точн?шим .
Отримано з https://uk.wikipedia.org/w/index.php?title=Л?терал_(математична_лог?ка)&oldid=39455018