Muhammad al-xorazmiy nomidagi toshkent axborot texnalogiyalari universiteti qarshi filiali kompyuter injineringi fakulteti ki-13-21 guruh diskret tuzilmalar fanidan

Birinchi guruh aksiomalari:
Rost qiymat istalgan qiymatdan kelib chiqadi.Implikatsiyaning chap distributivligi.
Ikkinchi guruh aksiomalari:
Ikki formulaning konyunksiyasidan ularning har biri kelib chiqadi.
Agar ikki formulaning har biri bajarilsa ularning konyunksiyasi ham bajariladi
Uchinchi guruh aksiomalari:
Ikki formulaning dizyunksiyasi ularning har birida kelib chiqadi.
Agar C formula A va B formulalarning har biridan kelib chiqsa u holda u ularning dizyunksiyasidan ham kelb chiqadi.
To’rtinchi guruh aksiomalari:
Kontrapozitsiya qoidasi
Misollar yechish davomida ushbu 11 aksiomadan foydalanamiz. Shuning uchun ularni eslab qolish muhim. 1 – guruh aksiomalarini faqat implikatsiya amali qatnashgan aksiomalar, 2 – guruh aksiomalari konyunksiya amali qatnashgan aksiomalar, 3 – guruh aksiomalari dizyunksiya amali qatnashgan aksiomalar, 4 – guruh aksiomalarini esa inkor amali qatnashgan aksiomalar sifatida yodda saqlashimiz mumkin.Biz bu aksiomalardan mulohazalar hisobi formulalarini isbotlanuvchi ekanligini isbotlashda foydalanamiz.
Isbotlanuvchi formula ta’rifi.

1. Har qanday aksioma isbotlanuvchi formuladir;

   
   

2. Isbotlanuvchi formuladagi x o’zgaruvchi o’rniga ixtiyoriy B formulani qo’yish natijasida hosil bo’lgan formula isbotlanuvchi formula bo’ladi;

   
   
3. 
   
   A va isbotlanuvchi formulalardan xulosa qoidasini qo’llash natijasida olingan B formula isbotlanuvchi bo’ladi;
   

4. Mulohazalar hisobining boshqa hech qanday formulasi isbotlanuvchi formula emas.

   
   

Foydalanilgan adabiyoti.

Foydalanilgan saytlari.
https://chart.googleapis.com/chart?chs=400x400&cht=qr&chl=https://books.google.co.uz/books?id=96BGAQAAIAAJ&source=qrcode
https://www.google.com/search?q=Isbotlovchi+formula+va+mulohazalar+hisobining+aksiomalar+sistemasi&rlz=1C1GCEA_enUZ1001UZ1001&sxsrf=ALiCzsbjLiPi0cukojnclJLv7RTR_uH3vw:1670760045591&source=lnms&tbm=bks&sa=X&ved=2ahUKEwiKxJaYwvH7AhWul4sKHUWXCnMQ_AUoAHoECAIQCQ&biw=1366&bih=657&dpr=1
https://e-library.namdu.uz/22%20%D0%A4%D0%B8%D0%B7%D0%B8%D0%BA%D0%B0-%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0/Matematik%20mantiq%20va%20diskret%20matematika%202-jild.%20To'raev%20H.N.%20Azizov%20I.pdf
Xulosa.
Men ushbu mustaqil ishni tayyorlashim davomida mantiqiy bog’lovchilar,qismiy formula,isbotlovchi formula,mulohazalar hisobining aksiomalar sistemasi haqida ko’plab ma’lumotlarga ega boldim.Mulohazalar turlari ko’p ular Dizyunksiya,Konyuksiya,Implikatsiya,Ekvivalensiya,Sheffer amali.