About Our Modern Business Insert subtitle here 01

About Our
Modern Business
Insert subtitle here
01
SHAHRISABZ DAVLAT PEDAGOGIKA INSTITUTI MATEMATIKA VA INFORMATIKA YO’NALISHI
1-22-GURUH TALABASI AHMATOV RUSTAMNING INFORMATIKA NAZARIYA ASOSLARI FANIDAN TAYYORLAGAN TAQDIMOTI
MANTIQ ALGEBRASINING AKSIOMALARI
Reja:

• MANTIQ
• MANTIQ ALGEBRASI
• MANTIQ ALGEBRASI AKSIOMALARI
• MISOLLAR

Mulohazalar va ular ustida bajariladigan mantiqiy amallar birgalikda mulohazalar algebrasi deb yuritiladi. Mulohazalar algebrasining asosiy vazifalaridan biri har qanday murakkab mulohazalarning rost yoki yolg’onligini isbotlashdan iborat.
Lekin berilgan murakkab mulohazadagi sodda mulohazalar va ularni bog’lovchi mantiq amallar ortgan sari mazkur mulohazaning rostlik jadvalini tuzish qiyinlasha boradi. Bu qiyinchilikni bartaraf etish uchun mulohazalar algebrasining formulasi va o’zaro teng kuchli formulalar tushunchalarini kiritiramiz.
X,Y,Z, … lar mulohazalar algebrasining formulalaridir.Agar X va Y mulohazalar algebrasining formulalari bo’lsa, u holda ù X, XÙY, XÚY, XÞ Y va XÛ Y lar ham formula bo’ladi. Mulohazalar algebrasi yuqoridagilardan boshqa formulalarga ega emas. Ko’p hollarda ù X, XÙY, XÚY, XÞ Y va XÛ Y lar orqali aniqlangan formulalr murakkab formulalar deb yuritiladi.
Mantiqiy funksiyaning rostlik qiymati {1, 0} to’plam elеmеntlaridan iborat. Aniqlanish va o’zgarish sohalari {1, 0} to’plamdan iborat bo’lgan funksiyalarga Bul funksiyaslari dеyiladi (D. Bul – angliyalik mashhur mantiqchi va matеmatik).
Bul funksiyasi – argumenti hamda unga mos funksiyasi ikki elementli to’plam {0,1} ga tegishli qiymatni qabul qiluvchi funksiyadir. Bu to’plamni bir elementli darajaga tushirib bo’lmaydi, chunki funksiya tushunchasiga zid bo’ladi. Shunday qilib Bul funksiyasi funksiyalar ierarxiyasining eng birinchi qatlamini egallaydi.
E’TIBORINGIZ UCHUN RAXMAT