Mulohaza va uning qiymatlari. Mulohazalar ustida mantiqiy amallar Inkor qilish amali

3. Dizyunksiya amali. x va y o’zgaruvchi mulohazalar ustida bajariladigan diz’yunksiya amali v ko’rinishda va bu amal natijasida hosil bo’ladigan mulohazani xvy yoki xvy=max(x,y) ko’rinishda belgilanadi.
Ta’rif. Ikkala x va y mulohaza xam yolg’on bo’lgandagina ularning dizyunksiyasi xvy mulohaza qiymati yolg’on, x va y ning kamida bittasi chin bo’lsa xvy chindir.
Dizyunksiya amali «yoki» bog’lovchisiga mos keladi. Bu tarif jadval ko’rinishida quyidagicha bo’ladi.

x	y	xvy
1 0 1 0	1 1 0 0	1 1 1 0

XULOSA
Xulosa qilib aytganda Maktablarda o’quvchilarga bilim berishda zamonaviy ta'lim texnologiyalarining ahamiyati to'g'risida so'z borganda O'zbekiston respublikasining birinchi prezidenti I.A.Karimovning ― O'quv jarayoniga yangi axborot va pedagogik texnologiyalarni keng joriy etish, bolalarimizni komil insonlar etib tarbiyalashda jonbozlik ko'rsatadigan o'qituvchi va domlalarga e'tiborimizni yanada oshirish, qisqacha aytganda, ta'lim-tarbiya tizimini sifat jihatidan butunlay yangi bosqichga ko'tarish diqqatimiz markazida bo'lishi darkor‖ degan so'zlarini tahkidlash o'rinlidir. Bu masala ― Barkamol avlod yili Davlat dasturida ham asosiy yo'nalishlardan biri sifatida e'tirof etilgan.
Hozirgi kunda jahon tajribasidan ko'rinib turibdiki, ta'lim jarayoniga o'qitishning yangi, zamonaviy usul va vositlari kirib kelmoqda va samarali foydalanilmoqda. Jumladan, Maktablarda innovasion va zamonaviy pedagogik g'oyalar amalga oshirilmoqda: o'qituvchi bilim olishning yagona manbai bo'lib qolishi kerak emas, balki talabalar mustaqil ishlash jarayonining tashkilotchisi, maslahatchisi, o'quv jarayonining menejeri bo'lishi lozim. Ta'lim texnologiyasini ishlab chiqish asosida aynan shu g'oyalar yotadi.
Diskret matematika va matematik mantiq amaliy masalalarni yechishning eng keng tarqalgan fanlaridan biri, masalan, hisoblash texnikasining mantiqiy asoslari va dasturiy ta’minotini rivojlantirishda. Usulning qo’llanilishi qulayligi, uning har qanday murakkab shaklli soha uchun ham qo’llanilishi soddaligi sababli bu usul amaliychi va ayniqsa muhandislar orasida keng qo’llanilib kelinmoqda.
Bu usul asosida ishlab chiqarish tizimining bir qator hisoblari muvaffaqiyatli qo’llanilib kelinmoqda. Bu esa Diskret matematika va matematik mantiqning amaliy ahamiyati naqadar yuqori ekanligini bildiradi. Diskret matematika va matematik mantiq avvalo muhandislar tomonidan taklif etildi, undan keyinroq esa u o’zining matematik asosiga ega bo’ldi. Fanning maqsadi matematika va informatika ta’lim yo’nalishi talabalriga «Diskret matematika va matematik mantiq» ning nazariy asoslarini, ularning amliyotdagi o’rni va o’ziga xos xususiyatlarini va afzalliklarini, amaliy masalalarni yechishga tadbiq qilishni, har xil ob’yektlarni tadqiq qilishni o’rgatish.
Fanning asosiy masalasi–matematik mantiq, bir tomondan, formal mantiq muammolariga matematik metodlarni qo‘llash bo‘lsa, ikkinchi tomondan, matematikani asoslashga xizmat qiluvchi fan sifatida foydalanishdir. Hozirgi zamon matematik mantiqi avtomatika, mashina matematikasi, bir tildan ikkinchi tilga avtomatik tarzda tarjima qilish, matematik lingvistika, axborot nazariyasi va umuman kibernetikaning nazariy va asosi hisoblanadi.