Literal (matematik mantiq) - Literal (mathematical logic) - Wikipedia

Yilda matematik mantiq, a so'zma-so'z bu atom formulasi (atom) yoki uning inkor. Ta'rif asosan ichida paydo bo'ladi isbot nazariyasi (ning klassik mantiq ), masalan. yilda konjunktiv normal shakl va usuli qaror.

Literallarni ikki turga bo'lish mumkin:

  • A ijobiy tom ma'noda faqat atom (masalan, ).
  • A salbiy tom ma'noda atomning inkoridir (masalan, ).

The kutupluluk so'zma-so'z ijobiy yoki salbiy so'zma-so'z bo'lishiga qarab ijobiy yoki salbiy bo'ladi.

To'liq so'z uchun , bir-birini to'ldiruvchi so'zma-so'z ning inkoriga mos keladigan tom ma'noda , biz yozishimiz mumkin ning to‘ldiruvchi harfini belgilash uchun . Aniqrog'i, agar keyin bu va agar keyin bu .

Formulaning kontekstida konjunktiv normal shakl, so'zma-so'z toza agar so'zma-so'z to'ldiruvchi formulada ko'rinmasa.

Yilda Mantiqiy funktsiyalar, o'zgaruvchining teskari yoki to'ldirilmagan shaklidagi har bir alohida hodisasi tom ma'noda. Masalan, agar , va ifoda o'zgaruvchisidir uchta harfiy va ifodani o'z ichiga oladi to'rtta harflarni o'z ichiga oladi. Biroq, bu ifoda to'rtta harfni o'z ichiga oladi deyish mumkin, chunki ikkitasi bir xil bo'lsa ham ( ikki marta paydo bo'ladi), bu ikkita alohida hodisa sifatida baholanadi.[1]

Misollar

Yilda taklif hisobi so'zma-so'z oddiygina a taklif o'zgaruvchisi yoki uni inkor etish.

Yilda predikat hisobi so'zma-so'z atom formulasi yoki uni inkor qilish, bu erda atom formulasi a predikat ba'zi birlariga nisbatan qo'llaniladigan belgi shartlar, shartlari bilan rekursiv ravishda aniqlangan doimiy belgilar, o'zgaruvchan belgilar va funktsiya belgilar. Masalan, 2 doimiy belgisi, o'zgaruvchan belgilar bilan manfiy literaldir x, y, funktsiya belgilari f, gva predikat belgisi Q.

Adabiyotlar

  1. ^ A. P. Godse, D. A. Godse (2008). Raqamli mantiqiy davrlar. Texnik nashrlar. ISBN  9788184314250.