Toshkent viloyati chirchiq davlat pedagogika insituti aniq fanlar fakulteti informatika õqitish metodikasi yo’nalishi 19/2-guruh talabasi temirov akromningning diskret matematika va matematik mantiqfanidan

TOSHKENT VILOYATI CHIRCHIQ DAVLAT PEDAGOGIKA INSITUTI ANIQ FANLAR FAKULTETI INFORMATIKA ÕQITISH METODIKASI YO’NALISHI 19/2-GURUH TALABASI TEMIROV AKROMNINGNING DISKRET MATEMATIKA VA MATEMATIK MANTIQFANIDAN MUSTAQIL ISHI

 

Mavzu:Aksiomatik usul.Mulohazalar hisobini qurish

Topshirdi: __Temirov A_________________

Qabul qildi: __Otajanova N________________

 

Toshkent 2020-2021

 

 

 

REJA:

• KIRISH
• ASOSIY QISM
• Mulohazalar hisobining aksiomalar sistemasi.mantiqiy aksiomalar. Maxsus aksiomalar.
• Mulohazalar xisobi.
• XULOSA
• FOYDALANGAN ADABIYOTLAR

KIRISH

KIRISH

Mulohazalar algebrasi va mulohazalar hisobida formulaning tavtalogiya bo’lishi yoki bo‘lmasligini aniqlashning samarali usullaridan biri chinlik jadvalidir. Ammo predikatlar mantiqida bu holat batamom o’zgaradi. Predikatlar mantiqida ixtiyoriy formulaning umumqiymatli yoki umum qiymatli emasligi haqidagi masalani yechadigan samarali usul mavjud emas. Shuning uchun ham predikat va u bilan bog‘liq kvantor tushunchalaridan foydalanadigan matematik nazariyalarda aksiomatik usullardan foydalanish zarur bo‘lib qoladi.