Turg’unov Ulug’bek Nazorat savollari
Download 15.59 Kb.
|
121-20 Turg'unovUlug'bek
121-20 Turg’unov Ulug’bek Nazorat savollari 1. “Va” mantiqiy bog`lovchisi qaysi mantiqiy amalga to`g`ri keladi? 2. “Yoki” mantiqiy bog`lovchisi qaysi mantiqiy amalga to`g`ri keladi? 3. Mantiqiy inkor amalining elementar mulohaza “rost” bo`lganda qanday qiymat qabul qiladi? 4. Formulaga ta`rif bering. 5. Elementar formulaga misol keltiring. 6. Sheffer shtrixi bu -? 7. Pirs strelkasi qanday amalni amalga oshiradi? 8. Mulоhаzа nima? 9. Rоstlik jаdvаli nimа? 10.. Mаntiqiy аmаllаrning bаjаrilish tаrtibini аyting. 1.“Va” bog’lovchisiga mos keluvchi mantiqiy amalga konyunksiya amali deb aytamiz. 2. . Dizyunksiya (mantiqiy yigindi) amali. Mulohaza mantiqida ishlatiladigan uchinchi amal “yoki” bog’lovchiga to’g’ri keladi. 3.1
4. Dastlab mulohazalar algebrasining formula tushunchasiga murojaat qilib, intuitive ravishda, uni berilgan elementar mulohazalardan inkor, diz’yunksiya, kon’yunksiya, implikatsiya, ekvivalensiya mantiqiy amallarning chekli kombinatsiyasi zarur, bo’lganda, mulohazalar ustida mantiqiy amallarningbajarilish tartibini ko’rsatuvchi qavslar vositasida hosil qilingan murakkab mulohaza deb tuwunamiz. Bu yerda qavslarni ishlatish qoidalari sonlar bilan ish ko’ruvchi (oddiy) algebradagidek saqlanadi. 5. 5-ta’rifga ko’ra ixtiyoriy formulaga uning qiymati sifatida vaziyatga qarab {ch,yo} to’plamning biror elementi mos qo’yiladi. Formula tarkibidagi o’zgarmas va o’zgaruvchi (elementar) mulohazalarning har biri elementar formulalar deb hisoblanad 6. Tabiiyki, ixtiyoriy formula uchun chinlik jadvali tuzish mumkin. Berilgan formulalarg mos chinlik jadvalini tuzishda shu formula tarkibidagi amallarga e’tibor bergan holda asosiy chinlik jadvallaridan ketma-ket foydalanish mumkin 10. Qavslarsiz yozilgan mantiqiy amallarni bajarish imtiyozlari (ketma-ketligi) navbat bilan inkor () , kon’yunksiya () ,diz’yunksiya () ,implikatsiya () , amallariga berilgan, eng so’nggi imtiyozga esa ekvivalensiya () , amali egadir. Download 15.59 Kb. Do'stlaringiz bilan baham: |
ma'muriyatiga murojaat qiling