Savol va topshiriqlar
1. Sonlar orasidagi nisbatni (tengsizlikni) hisoblashda qanday turdagi qiymat olinadi?
2. Predikat nima? Misollar keltiring.
3. Quyidagi mulohazalar to‘g‘ri bo‘lsa TRUE, aks holda YOLG‘ON bo‘ladigan mantiqiy funksiyalarni mantiq algebrasi tilida yozing:
A) barcha raqamlar X, Y, Z bir-biriga teng; b) raqamlardan tashqari X, Y, Z faqat ikkitasi teng; c) raqamlarning har biri X, Y, Z ijobiy; d) raqamlardan faqat bittasi X, Y, Z ijobiy; e) raqamlarning ma'nosi X, Y, Z ortib borish tartibida tartiblangan.
4. Oldingi masalani yechishda olingan barcha formulalarni Paskal tilida mantiqiy ifoda sifatida yozing.
5. Mantiqiy formula uchun haqiqat jadvalini tuzing:
¬X va Y v X va Z.
Tushuntirish: haqiqat jadvalida mantiqiy o'zgaruvchilar qiymatlarining barcha variantlari uchun formulaning qiymatlari hisoblanishi kerak: X, Y, Z. Shunday qilib, jadval 2 3 = 8 qator va 4 ustundan iborat bo'ladi: qiymatlar X, Y, Z va natija. Oraliq operatsiyalar natijalarini o'z ichiga olgan jadvalga qo'shimcha ustunlar qo'shilishi mumkin.
6. Paskalda yozilgan quyidagi mantiqiy ifodalarning qiymatlarini hisoblang:
Tushuntirishlar: toq(x)- argumentning paritetini aniqlash uchun mantiqiy funktsiya, ga teng rost, agar x toq bo'lsa va unga teng bo'lsa yolg'on agar x juft bo'lsa; trunc(x) modulda x dan oshmaydigan eng yaqin butun sonni qaytaradigan haqiqiy argumentning butun son funksiyasi.
Filial dasturlash
Dasturlash bilan bevosita bog'liq bo'lgan fan matematik mantiq deb ataladi. Matematik mantiqning asosini mantiq algebrasi yoki takliflar hisobi tashkil etadi. Taklif - bu to'g'ri yoki noto'g'ri ekanligini aniq aytish mumkin bo'lgan har qanday bayonot. Masalan, “Oy Yerning sun’iy yo‘ldoshidir” degan gap to‘g‘ri; "5 > 3" - rost; "Moskva - Xitoyning poytaxti" - yolg'on; "1 = 0" noto'g'ri. True yoki false mantiqiy qiymatlardir. Yuqoridagi gaplarning mantiqiy ma'nolari yagona aniqlangan; boshqacha aytganda, ularning qiymatlari mantiqiy konstantalardir.
Tengsizlikning mantiqiy qiymati x< 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
Matematik mantiqning rasmiy apparati asoslari 19-asr oʻrtalarida yaratilgan. Ingliz matematigi Jorj Bul. Uning sharafiga taklif hisobi mantiqiy algebra, mantiqiy miqdorlar esa mantiqiy deb ataladi.
Yagona gaplarni mantiqiy amallar yordamida murakkab mantiqiy formulalarga birlashtirish mumkin.
Mavjud uchta asosiy mantiqiy amal: inkor qilish, konyunksiya (mantiqiy ko‘paytirish) va diszyunksiya (mantiqiy qo‘shish).
Do'stlaringiz bilan baham: |