predikatlar algebrasi, mulohazalar hisobi formulasi tushunchasi

DOCX 280,8 KB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

1693470977.docx bc º ac º ( ) ab b pq ú bc º ( ) ( ) abac º bc º b c b c 1 0 ( ) ( ) 11 aa º pq ù ( ) ( ) 00 aa º ( ) ( ) abac º ( ) ( ) 11 ,,,, nn aaabaa º kk 12 ,,, n aaa k a b 12 ,,, n ccc k ( ) ( ) 11 ,,,, nn accbcc º kk ( ) 1, i ain = i c pq ù ( ) 1, i cin = ( ) 1, i cin = 12 ,,, k bbb k ( ) 12 ,,, k aaa k ( ) 12 ,,, n bbb k n a b 1 n i i p = ù 2 n 11 ab º 22 ab º 1212 aabb úºú 1212 aabb ùºù 1212 aabb þºþ 1212 …

mantiqiy amallar. 2. teng kuchli formulalar va asosiy teng kuchliliklar 3. formulaning normal shakllari. 1. mulohazalar. mulohazalar ustida mantiqiy amallar. har qanday matematik nazariya u yoki bu matematik jumlaning rost yoki yolg’onligini o’rganadi. ta’rif: rost yoki yolg’onligi bir qiymatli aniqlangan darak gapga jumla (mulohaza) deyiladi. ta’rifga ko’ra “0 q ko’rinishda belgilanadi. implikatsiya amaliga “agar …, bo’lsa, u holda, … bo’ladi” kabi bog’lovchi so’zlar mos keladi. masalan, p: ”5*5=25” – rost, q: ”6*6=36” - rost, p=>q: ”agar 5*5=25 bo’lsa, u holda 6*6=36” bo’ladi – rost. p=>q implikatsiya quyidagicha o’qiladi: “p dan q kelib chiqadi”, “p bo’lishi uchun q ning bo’lishi zarur”, “p mulohaza q mulohaza uchun etarli”. implikatsiya amaliga quyidagi rostlik jadvali mos keladi: p q p=>q 1 1 1 1 0 0 0 1 1 0 0 1 5. ekvivalensiya amali. ta’rif: p va q mulohazalarning ekvivalensiyasi deb p va q larning bir xil qiymatlarida rost, turli qiymatlarida yolg’on bo’lgan …

l algebra mulohazalar algebrasi deb yuritiladi. tarif: 1. p, q, r,... lar mulohazalar algebrasining formulalaridir. 2. agar p va q lar mulohazalar algebrasining formulalari bo’lsa, u holda ┐p, pq, pq, p=>q, pq ham formula bo’ladi. 3. mulohazalar algebrasidagi formulalar faqat 1-va 2-formulalar yordamida tuziladi. ko’p hollarda 2. yordamida aniqlangan formulalar murakkab formulalar deb yuritiladi. murakkab formulaga argumentlari rost yoki yolg’on qiymatni qabul qiluvchi funktsiya deb qarash mumkin. ta’rif: xi, argumentlarning har bir qabul qilishi mumkin bo’lgan barcha 1 va 0 qiymatlar tizimida a(x1, x2,…,xn) formulani ifodalovchi mantiqiy funktsiya rost (yolg’on) qiymatga erishsa, u holda bu formula aynan rost (yolg’on) formula deyiladi. misol: a b 1 1 1 1 1 0 1 1 0 0 1 0 0 1 1 agar a(x1, x2, …, xn) formulada n ta elementar mulohaza bo’lsa, u holda bu formulaning rostlik jadvali 2n ta satr (yo’l) dan iborat bo’ladi. 2. teng kuchli formulalar va asosiy teng …

abat 1. –refleksivlik. 2. agar bo’lsa, u holda bo’ladi – simmetriklik va 3. agar va bo’lsa, u holda bo’ladi – tanzitivlik xossalariga egadir. teorema: – jumlalar algebrasining ixtiyoriy formulasi, uning qism formulasi bo’lsin. agar bo’lsa, u holda bo’ladi. isboti: bo’lgani uchun va formulalar ularda qatnashgan propozitsional o’zgaruvchilar qiymatlarining barcha naborlarida bir xil qiymatlarga erishadilar. va formulalarning qiymatlari yoki bo’lgani uchun yo , yoki hosil bo’ladi. bu esa ekanini ko’rsatadi. teorema: , lar va formulalarning har birida qatnashgan barcha propozitsional o’zgaruvchilar, lar esa ixtiyoriy formulalar bo’lsin. u holda bo’ladi; bunda har bir propozitsional o’zgaruvchi berilgan tengkuchlilikda necha joyda qatnashgan bo’lsa, shuncha joyda mos formula bilan almashtiriladi. isbot. tengkuchlilikda qatnashgan har bir propozitisional o’zgaruvchi 1 yoki 0 qiymat qabul qiladi. formula ham o’zida qatnashgan propozitsional o’zgaruvchilar qiymatlarining barcha naborlarida 1 yoki 0 qiymat qabul qiladi. formula tarkibida qatnashgan propozitsional o’zgaruvchilar bo’lsin. bu propozitsional o’zgaruvchilar qiymatlari naborlaridan biri va formulalarning nabordagi qiymatlari nabori …

azalar algebrasining har bir formulasining yo o’zi keltirilgandir yoki uni teng kuchli keltirilgan formula bilan almashtirish mumkin. bu teoremani isbotlash uchun mulohazalar algebrasining asosiy tengkuchliliklari bilan tanishib chiqamiz. mulohazalar algebrasining tengkuchliliklari quyidagilar: i. (qo’sh inkor tengkuchliligi) ii. (dizyunksiya kommuntativligi) iii. (konyuksiyaning kommuntativligi) iv. (dizyunksiya assotsiativligi) v. (konyunksiyaning assotsiativligi) vi. (dizyunksiyaning konyuksiyaga nisbatan distributivligi) vii. (konyuksiyaning dizyunksiyaga nisbatan distributivligi) viii. (dizyunksiya idempotentligi) ix. (konyuksiyaning idempotentligi) x. (yutilish tengkuchliligi) xi. (yutilish tengkuchliligi) xii. (de morgan tengkuchliligi) xiii. (de morgan tengkuchliligi) xiv. (uchinchini inkor etish tengkuchliligi) xv. (qarama-qarshilik tengkuchliligi) xvi. a) , b) c) d) xvii. (kontrapozitsiya tengkuchliligi) bu teng kuchliliklar o’rinli ekanligini rostlik jadvali yordamida bevosita tekshirib ko’rish mumkin. masalan, xiii tengkuchlilik uchun rostlik jadvalini ko’raylik: a b 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 ii–xi, xiv–xvi tengkuchliliklarni tashkil etuvchi formulalar …

Ko'proq o'qimoqchimisiz?

Faylni Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"predikatlar algebrasi, mulohazalar hisobi formulasi tushunchasi" haqida

1693470977.docx bc º ac º ( ) ab b pq ú bc º ( ) ( ) abac º bc º b c b c 1 0 ( ) ( ) 11 aa º pq ù ( ) ( ) 00 aa º ( ) ( ) abac º ( ) ( ) 11 ,,,, nn aaabaa º kk 12 ,,, n aaa k a b 12 ,,, n ccc k ( ) ( ) 11 ,,,, nn accbcc º kk ( ) 1, i ain = i c pq ù ( ) 1, i cin = ( ) 1, i cin = 12 ,,, k bbb k ( ) 12 ,,, k aaa k ( ) 12 ,,, n …

DOCX format, 280,8 KB. "predikatlar algebrasi, mulohazalar hisobi formulasi tushunchasi"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: predikatlar algebrasi, mulohaza… DOCX Bepul yuklash Telegram