Darsning matnli varianti
Shart gaplari nimani kafolatlashi va nimani kafolatlamasligini aniqlang.
Asosiy xulosa: Agar A bo'lsa B, B bo'lganda A albatta bo'lganini anglatmaydi.
1-savol
Qoida: "Agar kartada yulduz bo'lsa, u ko'k rangda." Qaysi xulosa aniq to'g'ri?
Variantlar
- Ko'k karta bo'lsa, unda yulduz bor.
- Yulduzli karta ko'k bo'lishi kerak.
- Ko'k bo'lmagan barcha kartalarda yulduz bor.
- Barcha kartalar ko'k.
Javob va izohni ko'rish
Javob: Yulduzli karta ko'k bo'lishi kerak.
Izoh: To'g'ri. Qoida yulduzli kartaning rangini kafolatlaydi.
Maslahat: Strelka qaysi tomonga ishlayapti?
2-savol
"Agar yomg'ir yog'sa, ko'cha ho'l bo'ladi. Ko'cha ho'l. Demak, yomg'ir yog'di." Bu xulosa haqida nima deyish mumkin?
Variantlar
- Har doim to'g'ri.
- Albatta noto'g'ri.
- Mumkin, lekin majburiy emas.
- Faqat qishda to'g'ri.
Javob va izohni ko'rish
Javob: Mumkin, lekin majburiy emas.
Izoh: Ha. Yomg'ir yog'gan bo'lishi mumkin, lekin purkagich yoki yuvish mashinasi ham ko'chani ho'l qilgan bo'lishi mumkin.
Maslahat: Ko'chaning ho'l bo'lishining boshqa sababi bormi?
3-savol
Qoida: "Agar foydalanuvchi emailini tasdiqlasa, akkaunt faollashadi." Akkaunt faollashmagan. Qaysi xulosa majburiy?
Variantlar
- Foydalanuvchi emailini tasdiqlamagan.
- Foydalanuvchi emailini noto'g'ri yozgan.
- Foydalanuvchi parolini unutgan.
- Foydalanuvchi hech qachon login qilmagan.
Javob va izohni ko'rish
Javob: Foydalanuvchi emailini tasdiqlamagan.
Izoh: To'g'ri. Bu kontrapozitiv: email tasdiqlansa akkaunt faol bo'lishi shart; demak faol bo'lmasa, email tasdiqlanmagan.
Maslahat: Bu qoidaning qarama-qarshi yo'nalishini ko'ring.
4-savol
Agar loyiha testdan o'tsa, release tayyor bo'ladi. Agar release tayyor bo'lsa, mijozga demo yuboriladi. Loyiha testdan o'tdi. Nima kelib chiqadi?
Variantlar
- Mijozga demo yuboriladi.
- Mijoz albatta demo ko'radi.
- Loyiha hech qanday xatosiz.
- Mijoz loyiha uchun to'laydi.
Javob va izohni ko'rish
Javob: Mijozga demo yuboriladi.
Izoh: Ajoyib. Bu mantiqiy zanjir: testdan o'tish release'ni, release esa demo yuborilishini keltirib chiqaradi.
Maslahat: Birinchi qoida sizni qayerga olib boradi?
5-savol
Qoidada shunday yozilgan: "Agar mahsulot 30 kun ichida qaytarilsa, pul qaytariladi." Qaysi fikrni bu qoidadan aniq chiqarib bo'lmaydi?
Variantlar
- 30 kun ichida qaytarilgan mahsulot uchun pul qaytariladi.
- 30 kundan keyin qaytarilgan mahsulot uchun pul qaytarilmaydi.
- 30 kun ichida qaytarish pul qaytarilishiga yetarli shart.
- Qoida qaytarish muddati haqida gapiryapti.
Javob va izohni ko'rish
Javob: 30 kundan keyin qaytarilgan mahsulot uchun pul qaytarilmaydi.
Izoh: To'g'ri. Qoida 30 kundan keyin nima bo'lishini aytmaydi. Balki qaytarish mumkin, balki mumkin emas — matndan bilib bo'lmaydi.
Maslahat: Qoida 30 kundan keyingi holat haqida nima deydi?
6-savol
Quyidagi funksiya qachon `true` qaytaradi?
Variantlar
- Faqat isVerified = true bo'lsa.
- Faqat hasDraft = true bo'lsa.
- Ikkalasi ham true bo'lsa.
- Kamida bittasi true bo'lsa.
Javob va izohni ko'rish
Javob: Ikkalasi ham true bo'lsa.
Izoh: To'g'ri. `&&` — AND: nashr qilish uchun ham tasdiq, ham draft kerak.
Maslahat: `&&` nimani anglatishini eslang.