Formulalarning klassifikatsiyasi

Formulalarning klassifikatsiyasi

Dastlab ehtimollar nazariyasining asosiy tushunchalaridan biri “tasodifiy hodisa” tushunchasini keltiramiz. Natijasini oldindan aytib bo‘lmaydigan tajriba o‘tkazilayotgan bo‘lsin. Bunday tajribalar ehtimollar nazariyasida tasodifiy deb ataladi.

• 
  Tasodifiy hodisa(yoki hodisa) deb, tasodifiy tajriba natijasida ro‘y berishi oldindan aniq bo‘lmagan hodisaga aytiladi.
  

Hodisalar, odatda, lotin alifbosining bosh harflari …lar bilan belgilanadi.

• 
  Tajribaning har qanday natijasi elementar hodisa deyiladi va orqalibelgilanadi.
  
• 
  Tajribaning natijasida ro‘y berishi mumkin bo‘lgan barcha elementar
  

hodisalar to‘plami elementar hodisalar fazosi deyiladi va orqali belgilanadi.

1.1-misol. Tajriba nomerlangan kub(o‘yin soqqasi)ni tashlashdan iborat bo‘lsin. U holda tajriba 6 elementar hodisadan hodisalar lardan iborat bo‘ladi. hodisa tajriba natijasida ochko tushishini bildiradi. Bunda elementar hodisalar fazosi: .

• 
  Tajriba natijasida albatta ro‘y beradigan hodisaga muqarrar hodisa deyiladi.
  

Elementar hodisalar fazosi muqarrar hodisaga misol bo‘la oladi.

Aksincha, umuman ro‘y bermaydigan hodisaga mumkin bo‘lmagan hodisa deyiladi va u orqali belgilanadi.

1.1-misolda keltirilgan tajriba uchun quyidagi hodisalarni kiritamiz:

A={5 raqam tushishi};

B={juft raqam tushishi};

C={7 raqam tushishi};

D={butun raqam tushishi};

Bu yerda va hodisalar tasodifiy, hodisa mumkin bo‘lmagan va D hodisa muqarrar hodisalar bo‘ladi.

Formula X , agar u to'g'ri bayonotga aylansa, ya'ni unga kiritilgan o'zgaruvchilar qiymatlarining barcha to'plami uchun 1 qiymatini qabul qilsa, xuddi shunday to'g'ri (yoki tavtologiya) deb ataladi . Tavtologiyalar - bu tarkibiy elementar gaplarning mazmuni va haqiqatidan qat'i nazar, to'g'ri bayonotlarni qurish sxemalari.    

Formula X , agar unga kiritilgan o'zgaruvchilar to'plamining barcha qiymatlari uchun 0 ga o'rnatilgan bo'lsa , xuddi shunday noto'g'ri deb ataladi .    

Boolean X va Y ning ikkita formulasi Rav - underclothes deb ataladi , agar taklif o'zgaruvchilari ichidagi har qanday qiymatlar X va Y formulalaridan olingan mantiqiy qiymatlar bayonotlari bo'lsa , bir xil. Formulalardan foydalanishning ekvivalentligini ko'rsatish uchun - erigan belgilash .           

Teng - silnosti formulalar tushunchasi bilan tavtologiya tushunchasi o'rtasida yaqin bog'liqlik mavjud .