To‘plamlar va matematik mantiq

To‘plamlar va mantiq — matematikaning "grammatikasi". To‘plamlar tilida tenglama va tengsizlik yechimlari, funksiyaning aniqlanish va qiymatlar sohalari, ehtimollikdagi hodisalar yoziladi. Mantiq esa "zarur", "yetarli", "hech bo‘lmaganda bittasi", "har qanday", "mavjud" kabi so‘zlarni aniq tushunishga va to‘g‘ri xulosa chiqarishga o‘rgatadi. Bu mavzu sanash masalalari va isbotlash usullari uchun ham asos bo‘ladi.

§1. To‘plam tushunchasi va belgilashlar

To‘plam — biror belgi bo‘yicha birlashtirilgan obyektlar majmuasi; ular to‘plamning elementlari deyiladi. To‘plam ikki usulda beriladi: elementlarini sanab (A = {1, 2, 3}) yoki xarakteristik xossa bilan (B = {x | x² < 9}).

• a ∈ A — a element A ga tegishli, a ∉ A — tegishli emas.
• ∅ — bo‘sh to‘plam (birorta ham elementi yo‘q).
• A ⊂ B — A ning har bir elementi B da ham bor (A — B ning qism to‘plami).
• A = B — A ⊂ B va B ⊂ A bir vaqtda.

To‘plamda elementlar tartibi va takrorlanishi ahamiyatsiz: {1, 2, 2, 3} = {3, 1, 2}.
Asosiy sonli to‘plamlar: N — natural, Z — butun, Q — ratsional, R — haqiqiy sonlar; N ⊂ Z ⊂ Q ⊂ R. Oraliqlar ham to‘plamdir: [2; 5) = {x | 2 ≤ x < 5}.

Nega 2ⁿ? Har bir element uchun ikki tanlov bor: qism to‘plamga kiradi yoki kirmaydi. n ta mustaqil tanlov 2 · 2 · … · 2 = 2ⁿ variant beradi.

§2. To‘plamlar ustida amallar

Kesishma bo‘sh bo‘lsa (A ∩ B = ∅), to‘plamlar kesishmaydi deyiladi. Amallar xossalari sonlardagiga o‘xshaydi: A ∪ B = B ∪ A, A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
De Morgan qonunlari: (A ∪ B)‾ = Ā ∩ B̄, (A ∩ B)‾ = Ā ∪ B̄ — "birlashmaning to‘ldiruvchisi — to‘ldiruvchilar kesishmasi".
Sonli oraliqlarda amallar son o‘qida bajariladi: [1; 5) ∩ (3; 7] = (3; 5), [1; 5) ∪ (3; 7] = [1; 7]. Aynan shu amallar tengsizliklar sistemasi (kesishma) va majmuasi (birlashma) javobini yozishda ishlatiladi.

Misol

A = {1, 2, 3, 4}, B = {3, 4, 5}. Birlashma, kesishma va ayirmani toping.

1. A ∪ B = {1, 2, 3, 4, 5} — ikkala to‘plamdagi barcha elementlar, takrorsiz.
2. A ∩ B = {3, 4} — umumiy elementlar.
3. A \ B = {1, 2}, B \ A = {5}.

§3. Eyler-Venn diagrammalari va elementlar soni

Venn diagrammasida to‘plamlar doiralar bilan, universal to‘plam to‘g‘ri to‘rtburchak bilan tasvirlanadi. Sanash masalalarida kiritish-chiqarish formulasi ishlatiladi:

Kesishmani ayirishimizning sababi — u n(A) da ham, n(B) da ham sanalgan, ya’ni ikki marta. Uch to‘plamda uchala kesishma avval uch marta qo‘shiladi, uch marta ayiriladi, shuning uchun uni yana bir marta qo‘shamiz.
Diagrammani markazdan (eng ko‘p to‘plam kesishgan qismdan) boshlab to‘ldirish qulay.

Misol

Sinfda 30 o‘quvchi: 18 tasi ingliz, 15 tasi nemis tilini o‘rganadi, 5 tasi hech birini o‘rganmaydi. Ikkalasini nechtasi o‘rganadi?

1. Kamida bittasini o‘rganuvchilar: 30 − 5 = 25.
2. Formula: 25 = 18 + 15 − x.
3. x = 33 − 25 = 8.

Misol

120 talabadan 60 tasi matematika, 50 tasi fizika, 40 tasi kimyo to‘garagida. Matematika va fizikada 25, matematika va kimyoda 20, fizika va kimyoda 15, uchalasida 10 kishi. Nechta talaba hech bir to‘garakka qatnashmaydi?

1. n(M ∪ F ∪ K) = 60 + 50 + 40 − 25 − 20 − 15 + 10.
2. = 150 − 60 + 10 = 100.
3. Hech biriga qatnashmaydiganlar: 120 − 100 = 20.

§4. Mulohazalar va mantiqiy amallar

Mulohaza — rost (R) yoki yolg‘on (Y) bo‘ladigan darak gap. "7 — tub son" — rost mulohaza; "x > 2" esa x noma’lum bo‘lgani uchun mulohaza emas (u predikat).

• Inkor ¬A: qiymatni teskarisiga o‘zgartiradi.
• Kon’yunksiya A ∧ B ("va") — ikkalasi rost bo‘lsagina rost.
• Diz’yunksiya A ∨ B ("yoki") — hech bo‘lmaganda bittasi rost bo‘lsa rost.
• Ekvivalensiya A ⇔ B — qiymatlari bir xil bo‘lsa rost.

Implikatsiyani va’da sifatida tushuning: "Agar yomg‘ir yog‘sa, soyabon olaman". Va’da faqat yomg‘ir yog‘ib, soyabon olinmaganda buziladi. Yomg‘ir yog‘masa, nima qilsangiz ham va’da buzilmagan — shuning uchun Y ⇒ R va Y ⇒ Y rost.
De Morgan: ¬(A ∧ B) = ¬A ∨ ¬B, ¬(A ∨ B) = ¬A ∧ ¬B.
A ⇒ B ga teng kuchli mulohaza — kontrapozitsiya ¬B ⇒ ¬A. Teskari mulohaza B ⇒ A esa unga teng kuchli emas.

§5. Kvantorlar, zarur va yetarli shartlar

• ∀ — "har qanday", ∃ — "mavjud".
• Inkorda kvantor almashadi: ¬(∀x: P(x)) = ∃x: ¬P(x), ¬(∃x: P(x)) = ∀x: ¬P(x).
• A ⇒ B rost bo‘lsa: A — B uchun yetarli, B — A uchun zarur shart.
• A ⇔ B bo‘lsa, har biri ikkinchisi uchun zarur va yetarli shart.

To‘plamlar tilida: A ⇒ B — A ni qanoatlantiruvchilar to‘plami B nikining qism to‘plami. Kichik to‘plam — yetarli shart, katta to‘plam — zarur shart.

Misol

"x > 3" sharti "x > 1" uchun qanday shart?

1. x > 3 bo‘lsa, albatta x > 1 — demak x > 3 ⇒ x > 1 rost, shart yetarli.
2. Teskarisi noto‘g‘ri: x = 2 da x > 1, lekin x > 3 emas — shart zarur emas.
3. Javob: yetarli, lekin zarur emas.

§6. Isbotlash usullari

• To‘g‘ri isbot: shartdan boshlab, ma’lum faktlar orqali xulosaga kelish.
• Kontrapozitsiya: A ⇒ B o‘rniga ¬B ⇒ ¬A ni isbotlash. Masalan, "n² juft bo‘lsa, n juft" — "n toq bo‘lsa, n² toq" ni isbotlash oson: (2k + 1)² = 2(2k² + 2k) + 1.
• Teskarisini faraz qilish (qarama-qarshilik): xulosa yolg‘on deb faraz qilib, ziddiyatga kelish. Klassik misol — √2 irratsional ekanining isboti.
• Kontrmisol: "har qanday" bilan boshlanadigan da’voni rad etish uchun bitta misol kifoya: "barcha tub sonlar toq" — 2 kontrmisol.

O‘zingizni tekshiring

1. A = {2, 4, 6, 8}, B = {4, 8, 12}. A ∩ B ni toping.

2. 5 elementli to‘plamning nechta qism to‘plami bor?

3. 40 kishidan 25 tasi choy, 20 tasi qahva, 8 tasi ikkalasini ichadi. Hech birini ichmaydiganlar nechta?

4. "Ba’zi sonlar juft" mulohazasining inkorini yozing.

5. Y ⇒ R implikatsiyaning qiymati qanday?

6. "a 4 ga bo‘linadi" sharti "a juft" uchun qanday shart?

7. [1; 5) ∩ (3; 7] ni toping.

8. 1 dan 100 gacha sonlardan nechtasi 2 ga yoki 3 ga bo‘linadi?

Ko‘p uchraydigan xatolar

• Birlashmada kesishmani ikki marta sanash.
• Implikatsiyada yolg‘on asosdan har doim yolg‘on xulosa chiqadi deb o‘ylash (Y ⇒ … har doim rost).
• Kvantorli gapni inkor qilishda faqat predikatni inkor qilib, kvantorni almashtirmaslik.
• Zarur va yetarli shartlarni almashtirib yuborish.
• A ⇒ B dan teskari B ⇒ A ni ham rost deb hisoblash.
• Qism to‘plamlarni sanashda bo‘sh to‘plam yoki to‘plamning o‘zini unutish.