To'g'ri, lekin oqilona misollar emas. Ratsional sonlar: ta'riflar, misollar. Ratsional sonlar. Ta'riflar
10 - Matematik mantiq i) xy → x ∨ x (y ∨ z) ; a) * xy ∨ xz ; j) (x | y) → (x | z) ; b) x ~ y; k) (x ∨ y)(x ∨ z) ∨ xy ; c) * xy ; m) (x ∨ y) x ∨ z ; d) xyz; e) x (y ∨ z) → (xy ∨ z) ; n) (x ↓ y) ~ (x ⊕ y) ; o) (x ~ y) ~ (x ~ z) ; g) (x ⊕ y → c) ↓ c ; n) (x ~ y) ⊕ (x ~ z) ; h) * x → (y → x) ; p) (x ∨ y)(x ∨ z) (x ∨ w). 17. SDNF ni oling va keyin SCNF ga o'ting: b) * (x → y) → (y → x); 18.* X, y, z va f (x, y, z)= x uchta argumentdan (elementar gaplar) f funksiyasi (murakkab gap) berilsin. Ushbu funktsiya uchun SDNF ni yarating. 19. SCNF ni oling va keyin SDNF ga o'ting: d) * (x | y) xy ; 20. Formulalar uchun MDNF ni oling: a) * ((x ⊕ y) ~ z) → x ; b) * ((1 ⊕ xy) ⊕ xz) ∨ (z → y); c) * (x ⊕ y) → z ∨ y ; d) * ((A → B) ~ (C ~ D)) ∨ B → A ⋅ (C ~ D) ; e) * (A ∨ B ∨ C ∨ D)(A ∨ B ∨ C ∨ D); e) * x ∨ yz ∨ xz ; g) * (x → y) → z ∨ x ; h) * xy ∨ xy ∨ xz ; 22.* x, y, z kontaktlardan shunday sxema tuzingki, u uchta kontaktdan ikkitasi x, y, z yopilgandagina yopiladi. 24.* 1, a va b-rasmdagi diagrammalarni soddalashtiring. a) b) rasm. 1 - 11 - Matematik mantiq 25.* Predikatlar tilida yozing: a) barcha talabalar o'qiydi; b) ba'zi talabalar a'lochi; c) istalgan raqam uchun kattaroq raqamni topishingiz mumkin; d) x + y = z; e) har bir ob'ekt A xossaga ega; f) biror narsaning A xossasi bor; g) har bir ob'ekt A xususiyatiga ega emas; h) biror narsa A xossasiga ega emas; i) har bir ratsional son haqiqiy sondir; j) ba'zi haqiqiy sonlar ratsionaldir; k) hech qanday ratsional son haqiqiy emas; l) ba'zi ratsional sonlar haqiqiy emas. 26.* Nima uchun 25a va 25i mashqlarda implikatsiya, 25b va 25k mashqlarda qo‘shma gap ishlatilganligini tushuntirishga harakat qiling. 27.* Predikatlar tilida yozing: a) 16 yoshgacha bo‘lgan bolalar (D(x)) va robotlar (R(x))ga kirish taqiqlanadi (B(x)); b) 16 yoshgacha bo'lgan barcha bolalar (D(x)) va robotlar (R(x)) sertifikatlar (C(x)) olishlari shart. 28.* Predikatlar tilida yozing: a) 12 ga bo‘linadigan har qanday N 2, 4 va 6 ga bo‘linadi; b) har bir talaba kamida bitta laboratoriya ishini bajargan; v) bitta to'g'ri chiziq ikki xil nuqtadan o'tadi. 29. Predikatlar tilida yozing: e)* har bir talaba (C(x)) - sportchi (S(x)) kino san’atkorlari (K(y)) orasida qandaydir kumir (y) (B(x,y)) bor. ); e)* agar ba'zi katta kompyuterlar (B(x)) (C(x,y)) boshqa katta kompyuterga (B(y)) ulangan bo'lsa, demak, u holda mini-kompyuterlar (M(x)) mavjud emas. aloqa vositalari (S(x)); o'ttiz. * Qanday sharoitlarda: a) ∀x P (x) ≡ ∃x P(x) ; b) ∃x P(x) ≡ O, a ∀x P(x) ≡ 1; 33.* Bu endi inkor qilish bilan bog'liq qo'shimcha qiyinchiliklarni ko'rsatadigan klassik misol: “Frantsiyaning hozirgi qiroli kal” jumlasi haqiqatga to'g'ri kelmasligi ma'lum. Buni predikat tilida qanday yozish kerak. YECHIMLARI VA JAVOBLAR. - 12 - Matematik mantiq 1a. Elementar gaplarni rasmiy tarzda tanlaylik: A – talaba a’lochi; B - talaba ijtimoiy ish bilan shug'ullanadi; C - talabaning nogironligi bor; D - talaba stipendiya oladi. U holda kompleks gapning ramziy shakli A ⋅B⋅C → D bo'ladi. 1b. Ramziy belgi quyidagicha ko‘rinishi mumkin: P⋅Z → S⋅P → P.() 3. Taklif mantig‘ida “Petya kollejga borgani to‘g‘ri emas” kabi gaplarni to‘g‘ri deb hisoblash kerak, chunki gaplar bo‘linmaydi. 8. A ∨ B ≡ A → B ≡ (A → B) → B, A & B ≡ A → B. 11.a ABC ∨ A BC ∨ ABC ∨ ABC yoki xuddi shu narsa, lekin oddiyroq shaklda AB ∨ AC ∨ BC. 11b. A B ∨ BC ∨ AC. 13a. xy z. 13-asr Formula allaqachon DNFda. Nega? 14a. (x ∨ z)(y ∨ z) . 14b. Formula allaqachon KNFda mavjud. Nega? 15a. xyz ∨ x yz ∨ xyz ∨ xyz . 15b. xyz ∨ xyz ∨ x yz ∨ xyz ∨ x yz ∨ x yz ∨ xyz . 15d. xy ∨ x y ∨ xy ∨ x y (≡ 1) . 16a. () ()() xy ∨ xy ≡ xy ∨ x (xy ∨ z)≠ x ∨ x x ∨ y (x ∨ z)(y ∨ z) ≡ (x ∨ y ∨ zz)(x ∨ y)(x ∨ y)(x ∨ y) y ∨ z ∨ x x) ≡ (x ∨ y ∨ z)(x ∨ y ∨ z) (x ∨ y ∨ z) (x ∨ y ∨ z) . 16-asr (x ∨ y) (x ∨ z)(x ∨ y) . 16z. SKNF yo'q, chunki bu tavtologiya. - 13 - Matematik mantiq 17b. Bu tavtologiya, shuning uchun u uchun SKNF yo'q. 18. xyz ∨ xy z ∨ x yz ∨ x yz. 19 Bu qarama-qarshilik, shuning uchun buning uchun SKNF yo'q. 20a. ((x ⊕ y) ~ z) → x ≡ (x ⊕ y)z ∨ (x ⊕ y)z ∨ x ≡ () (x ⊕ y)z ⋅ (x ⊕ y)z ∨ x ≡ (x ⊕y) ∨ z) x ⊕ y ∨ z ∨ x ≡ (xy ∨ x y ∨ z)(xy ∨ x y ∨ z)∨ x ≡ xyz ∨ x yz ∨ xy z ∨ ∨ x SD x ∨ ∨ x y - z y z ∨ yz - SKDNF va MDNF. 20b. ((1 ⊕ xy) ⊕ xz) ∨ (z → y) ≡ (xy ⊕ xz)∨ yz ≡ xyxz ∨ xy xz ∨ yz ≡ ()() xyz ∨ x ∨ y x ∨ x ∨ y x ∨ yz ∨ yz ∨ z ∨ yz ≡ xyz ∨ x yz ∨ x yz ∨ x y z ∨ x y z ∨ x y z ∨ x yz - SDNF x ∨ y ∨ z - MDNF. 20-asr xyz ∨ xyz ∨ x yz ∨ x yz ∨ x yz - SDNF xy ∨ x y ∨ yz - MDNF. 20 A BCD ∨ A BCD ∨ ABCD ∨ A BCD ∨ ABCD ∨ A BCD ∨ ABCD ∨ A BCD ∨ ABCD ∨ ABCD ∨ A BCD ∨ A BCD - SCNF A B ∨ CD ∨ CD - MDNF. 20d. A∨C∨ D. 20-chi. x∨z . 20 g. x∨z . 20z. xy ∨ x y ∨ xz yoki xy ∨ x y ∨ yz. 21-asr xy ∨ xz. 21 1. 22. Rasmga qarang. 2. - 14 - Matematik mantiq shakl. 2 23a. Rasmga qarang. 3. a) b) rasm. 3 23. Soddalashtirilgan diagrammalar rasmda ko'rsatilgandek bo'ladi. 4. a) b) rasm. 4 25a. ∀x (C(x)→Y(x)), bu yerda C(x) – “x – talaba”, Y(x) – “x – talaba”. 25b. ∃x (C(x) & O(x)) . 25-asr Ikki o‘rinli predikatni oddiy munosabat ko‘rinishida yozamiz: ∀x ∃y (x)< y) . 25г. Запишем в виде трехместного предиката: ∀x,y ∃z S(x,y,z) . Предикат S принимает значение “истинно”, когда x + y = z , и «ложь» в противном случае. При навешивании соответствующих кванто- ров поучается утверждение о том, что для любых x и y существует сумма. 25д. ∀x A(x). 25e. ∃x A(x). 25ж. ∀x ¬ A(x). 25з. ∃x ¬ A(x). - 15 - Математическая логика 25и. ∀x (Q(x) →R(x)). 25к. ∃x (Q(x) & R(x)) 25л. ∀x (Q(x) → ¬ R(x)). 25м. ∃x (Q(x) & ¬ R(x)). 26. В теоретико-множественной интерпретации обычно импликация соот- ветствует включению, а конъюнкция - пересечению. Например, ∀х (Q(x) → R(x)). Справедливо, поскольку Q ⊆ R ; а ∃x (Q(x) & R(x)) справедливо, поскольку Q ∩ R не пусто. Ошибкой было бы 25к запи- сать как ∃x (R(x) →Q(x)), поскольку это равносильно ∃x (¬R(x) ∨ Q(x)), а это высказывание будет истинным для любого х, не являющимся дей- ствительным числом. 27. Здесь несколько перефразированы упражнения известного логика С.Клини, который предлагает quyidagi yechimlar: a) ¬∃x ((D(x) ∨ R(x)) & B(x) , bu ∀x ((Dx) ∨ R(x)) → ¬ B(x)) ga ekvivalentdir; b) ∀x (D(x) & R(x) → C(x) ni yozish xato bo'ladi, chunki D(x) & R(x) bo'sh. To‘g‘ri yechim ∀x (D(x) → C(x)) & ∀x (R(x) → C(x)) yoki ∀x (D(x) ∨ R(x) → C(x)) . 28a. ∀x (A(x) → D(x) & H(x) & W(x)). 28b. ∀x ∃y B(x,y) . 28-asr ∀x,y (¬(x=y) → ∃p ((x∈p) & (y∈p) & ∀q ((x∈q) & (y∈q) → (p=q)) . 29d ∀x (C(x) & S(x)) → ∃y (B(x,y) & K(y)) ∃x B(x) & ∀y (C(x,y) → B(y). )) ¬ ∃x (M(x) & S(x)) 30b domeni bo'sh bo'lganda c va d jumlalari, agar ∀x ∃y B(x,y) predikati uchun inkorni olib, ekvivalent transformatsiya qilsak, javobni rasmiy ravishda olish mumkin: ¬∀x ∃y B(x,y)≡∃x ¬. ∃y B(x,y)≡∃x ∀y ¬B(x,y) 32. Predikatlar tilida dastlabki gapning o‘zi quyidagicha yoziladi: ∃x K(x) & ∀x (K(x)) →L(x)) Adabiyotda inkor qilish varianti odatda muhokama qilinmaydi, ya'ni ¬(∃x K(x) & ∀x (Kx)→A(x)), chunki bu erda shunday bo'lishi kerak. nima inkor etilayotganiga aniqlik kiritildi: qirolning kalligi yoki Fransiyada qirol mavjudligi fakti Shu munosabat bilan rad etishning ikkita varianti taklif etiladi: - 16 - Matematik mantiq ∃x K(x) & ∀x (. K(x) → ¬ L(x)) ¬ ∃x K(x) & ; ∀x (K(x) → L(x)) ADABIYOTLAR 1. Kleene S. Matematik mantiq. – M.: Mir, 1973, b. 11 – 126. 2. Stoll R. Sets. Mantiq. Aksiomatik nazariyalar. – M.: Ta’lim, 1968, s. 71 – 93, 108 – 132. 3. Kolmogorov A.N., Dragalin A.G. Matematik mantiq bo'yicha kirish. – M.: MDU, 1982 y., b. 1 – 95. 4. Gilberg D., Bernays P. Matematika asoslari. Mantiqiy hisob va arifmetikani formallashtirish. – M.: Fan, 1-jild, p. 23 – 45, 74 – 141. 5. Novikov P.S. Matematik mantiqning elementlari. – M.: Nauka, 1973, 36 – 65, 123 – 135-betlar. 6. Gindikin S.G. Masalalarda mantiq algebrasi. - M.: Nauka, 1972 yil.
3-bo'lim uchun amaliy topshiriqlar
Predikat tushunchasi va ular ustida amallar.
3.1. Quyidagi ifodalardan qaysi biri predikativ hisoblanadi:
A)" X 5 ga bo'linadi" ( X Î N);
b) "Daryo" X Baykal ko'liga oqadi" ( X barcha turdagi daryolarning ko'plab nomlari orqali o'tadi);
V)" x2 + 2X+ 4" ( XÎ R) ;
G) "( X + da)2 = x2 + 2Xy + y 2" ( x, yÎ R);
d) " X akasi bor da» ( x, y ko'p odamlar yugurmoqda);
e) " X Va da» ( x, da ma'lum bir guruhning barcha talabalari to'plamidan o'ting);
va)" X Va da qarama-qarshi tomonlarida yotish z» ( x, da barcha nuqtalar to'plamidan o'ting va z - bitta tekislikning barcha chiziqlari);
h) “ctg 45° = 1”;
Va)" X perpendikulyar da» ( X, da bitta tekislikning barcha to'g'ri chiziqlari to'plamidan o'ting).
3.2. Quyidagi iboralarning har biri uchun mavzu o'zgaruvchilarini mos keladigan domenlardan mos qiymatlar bilan almashtirishda berilgan bayonotga aylanadigan predikatni (bir yoki ko'plik) toping:
a) “3 + 4 = 7”;
b) “Iymon va umid opa-singildir”;
c) “Bugun seshanba”;
d) “Saratov shahri Volga daryosi sohilida joylashgan;
e) “sin 30° = 1/2”;
f) “-buyuk rus shoiri”;
g) “32 + 42= 52;
h) "Indigirka daryosi Baykal ko'liga quyiladi";
Bunday predikatni tuzgandan so'ng, uning haqiqat sohasini aniq ko'rsatishga harakat qiling yoki qandaydir tarzda uni belgilang.
Yechim. i) uchta predikat ko'rsatilishi mumkin, ularning har biri tegishli almashtirish bilan berilgan gapga aylanadi. Birinchi predikat unary:
"https://pandia.ru/text/78/081/images/image003_46.png" width="181" height="48"> O'zgartirilganda bu ko'rsatilgan qiymat to'g'ri bo'ladi tuzilgan predikatning to'liq haqiqatini tugatmaydi, bu to'plamning quyidagicha ekanligini aniqlash oson: 
. Ikkinchi predikat ham unary: "" (yÎ
R). Almashtirishda bu gapga aylanadi y = 1. Ko'rinib turibdiki, bu qiymat ushbu predikatning haqiqat to'plamini tugatadi..png" width="240" height="48">. U almashtirilganda ushbu bayonotga aylanadi, da= 1. Uning haqiqat sohasi tartiblangan juftliklar to'plami bo'lib, ularning yig'indisi grafik ravishda tangentsoidlar deb ataladigan cheksiz egri chiziqlar oilasi sifatida tasvirlangan.
3.3. Quyidagi iboralarni o‘qing va ularning qaysi biri to‘g‘ri va qaysi biri noto‘g‘ri ekanligini aniqlang, agar barcha o‘zgaruvchilar haqiqiy sonlar to‘plamidan o‘tadi deb faraz qiling:
a) https://pandia.ru/text/78/081/images/image010_35.png" width="135" height="21 src=">
c) https://pandia.ru/text/78/081/images/image012_34.png" width="136" height="21 src=">
e) https://pandia.ru/text/78/081/images/image014_28.png" width="232" height="24 src=">
g) https://pandia.ru/text/78/081/images/image016_23.png" width="204" height="24 src=">
i) https://pandia.ru/text/78/081/images/image018_18.png" kengligi="201" balandligi="24 src=">
l) o'zgaruvchiga nisbatan https://pandia.ru/text/78/081/images/image020_17.png" width="101 height=21" height="21">" x, R to'plami orqali o'tadi. Natijada ifodada o'zgaruvchi deyiladi da bog'langan va o'zgaruvchi X ozod. O'zgaruvchi o'rniga da biz endi hech narsani almashtira olmaymiz, aksincha X haqiqiy sonlar almashtirilishi mumkin, buning natijasida unar predikat gaplarga aylanadi. Masalan, bayonot " 
" ni shunday o'qish mumkin: "Haqiqiy raqam bor da, shu kabi X)($y)( X+ da= 7)" to'g'ri. Buni quyidagicha o'qish mumkin: "Har qanday haqiqiy son uchun birinchisi bilan yig'indisi 7 ga teng bo'lgan haqiqiy son mavjud." "(" iborasida X)($y)( X+ da= 7)” endi bo'sh o'zgaruvchilar yo'q. Ikkala o'zgaruvchi X Va da miqdor bildiruvchilarning belgilari ostida turadi va shuning uchun bog'liqdir. Ifodaning o'zi endi predikat emas, biz aniqlaganimizdek, bu gap, haqiqatdir. Ammo, agar xohlasak, predikat tushunchasini ishlab chiqsak, gapni 0 o'rinli predikat, ya'ni o'zgaruvchisiz predikat deb taxmin qilishimiz mumkin. Lekin shuni tushunishimiz kerakki, bir o‘rinli predikatdan 0-o‘rinli predikatga miqdoriy o‘tish sifat sakrashga olib keladi, shuning uchun 0-o‘rinli predikat bir o‘rinli predikatdan sifat jihatidan farq qiladigan ob’ektdir, garchi biz uni shartli ravishda bo‘ysundirsak ham. "predikat" tushunchasi ostida.
b) “($u)(” ifodasi X)(X+ da= 7)" ni quyidagicha o'qish mumkin: "Haqiqiy son borki, u har qanday haqiqiy songa qo'shilganda 7 ga etadi." Bu gapning yolg'on ekanligini tushunish qiyin emas. Darhaqiqat, "(" unar predikatini ko'rib chiqing. X)(X+ da= 7)" o'zgaruvchiga nisbatan y, berilgan gap olinadigan ekzistensial kvantifikatorni qo‘llash orqali. Ko'rinib turibdiki, mavzu o'zgaruvchisi o'rniga qanday haqiqiy son qo'yilgan bo'lishidan qat'i nazar y, Masalan "(" X)(X+ 4 = 7)", predikat noto'g'ri gapga aylanadi. ("(" bayonoti X)(X+ 4 = 7)" noto'g'ri, chunki unar predikat "( X+ 4 = 7)" noto'g'ri bayonotga aylanadi, masalan, o'zgaruvchini almashtirishda X soni 5.) Shuning uchun “($y)(” ifodasi X)(X+ da= 7)", unar predikatidan kelib chiqqan "(" X)(X+ da= 7)" mavjudligi miqdoriy ko'rsatkichini olish amalidan foydalanib y, yolg'on.
i) Ushbu bayonotni quyidagicha o'qish mumkin: "Har qanday haqiqiy son, agar u 1 dan katta yoki 2 dan kichik bo'lsa, o'ziga teng bo'ladi." Bu gapning to'g'ri yoki noto'g'ri ekanligini bilish uchun biz shunday haqiqiy raqamni izlashga harakat qilamiz x0, bu birlik predikatni aylantiradi
yolg'on bayonotga. Agar shunday sonni topishga muvaffaq bo'lsak, u holda bu predikatdan umumiy kvantni "biriktirish" (ya'ni olish amalini qo'llash) orqali olingan gap noto'g'ri bo'ladi. Agar qarama-qarshilikka kelsak, shunday deb faraz qilsak x0 mavjud bo'lsa, berilgan bayonot to'g'ri bo'ladi.
Ko'rinib turibdiki, predikat " x = x" oʻrniga qoʻyilganda haqiqiy gapga aylanadi X har qanday haqiqiy son, ya'ni u bir xil haqiqatdir. Savol tug'iladi: predikatni o'zgartiradigan haqiqiy sonni ko'rsatish mumkinmi? 
» yolg'on bayonotga? Yo'q, chunki biz qanday haqiqiy sonni olsak ham, u 1 dan katta yoki 2 dan kichik (yoki ikkalasi ham 1 dan katta va 2 dan kichik, bu bizning holatlarimizda umuman taqiqlanmagan). Shuning uchun predikat " "bir xil haqiqatdir. Shunda predikat bir xil to'g'ri bo'ladi
Va bu ushbu bayonotni anglatadi
umumiy kvantifikatorni olish amalining ta'rifi bo'yicha to'g'ri.
3.4. P (x) va Q (x) M to'plamida aniqlangan unar predikatlar bo'lsin, shundayki https://pandia.ru/text/78/081/images/image027_14.png" width="63 height=23" " balandligi="23">noto'g'ri.
3.5. Haqiqiy sonlar to'plamida aniqlangan predikatlardan biri boshqasining natijasi ekanligini aniqlang:
a) "| x |< - 3», « x2 - 3x + 2 = 0 »;
b) “x4 = 16”, “x2 = - 2”;
c) “x - 1 > 0”, “(x - 2) (x + 5) = 0”;
d) “sin x = 3”, “x2 + 5 = 0”;
e) “x2 + 5x - 6 > 0”, “x + 1 = 1 + x”;
f) “x2 £ 0”, “x = sin p”;
g) “x3 - 2x2 - 5h + 6 = 0”, “| x - 2| = 1".
Yechim. g) Ikkinchi predikat faqat ikkita almashtirish bilan haqiqiy gapga aylanadi: x = 1 va x = 3. Bu almashtirishlar birinchi predikatni ham to'g'ri gapga aylantirishini tekshirish oson (ular bu kub tenglamaning ildizlari). . Shuning uchun birinchi predikat ikkinchisining natijasidir.
3.6. O'zgaruvchining M qiymatlari to'plamini aniqlang, shunda bu to'plamda ikkinchi predikat birinchisining natijasi bo'ladi:
A)" X karrali 3", " X hatto";
b) " x 2 = 1", " x-1 = 0";
V)" x g'alati", " X- kvadrat natural son»;
G)" x- romb", " x- parallelogramma";
d) " x- parallelogramm", " x- romb";
e) " x- rus olimi", " x- matematik";
va)" x- kvadrat", " x- parallelogramm."
Yechim. g) Har bir kvadrat parallelogramm bo'lganligi sababli, barcha to'rtburchaklar to'plamini ikkinchi predikat birinchisining natijasi bo'lgan to'plam sifatida olish mumkin.
3.7. Xuddi shunday to‘g‘ri predikatning bir xil o‘zgaruvchilarga bog‘liq bo‘lgan boshqa har qanday predikat bilan birikmasi ikkinchisiga ekvivalent ekanligini isbotlang.
3.8. Xuddi shunday noto'g'ri oqibatli bir xil o'zgaruvchilarga bog'liq bo'lgan ikkita predikatning implikatsiyasi uning asosini inkor etishga ekvivalent ekanligini isbotlang.
PREDIKAT ALGEBRA TILIDAGI Izohlar
va Predikatlar algebrasi yordamida fikrlash tahlili
1-misol. “A va b chiziqlar parallel emas” degan gap nimani anglatadi?
Ø(a || b) formulaning ma'nosini ochish uchun $a (a Ì a & b Ì a) & (a Ç b = Æ Ú a = b) formulasining inkorini topishimiz kerak. Bizda Ø(a || b) = Ø($a(a Ì a & b Ì a) & (a Ç b = Æ Ú a = b)) = Ø$a(a Ì a & b Ì a) Ú Ø (a Ç b = Æ Ú a = b)) = Ø$a(a Ì a & b Ì a) Ú a Ç b ¹ Æ & a ¹ b.
Ammo ruschada "a va b chiziqlarni o'z ichiga olgan tekislik yo'q" degan ma'noni anglatuvchi Ø$a(a Ì a & b Ì a) formulasi kesishuvchi chiziqlar munosabatini va a Ç b ¹ Æ & a ¹ formulasini bildiradi. b, rus tiliga tarjima qilingan "a va b chiziqlarning umumiy nuqtalari bor, lekin bir-biriga to'g'ri kelmaydi" jumlasi chiziqlarning kesishish munosabatini ifodalaydi.
Shunday qilib, parallel bo'lmagan chiziqlar ularning kesishishi yoki kesishishini anglatadi. 2-misol. Mulohaza yuritishda tez-tez qo'llaniladigan "Aristotelning kategorik hukmlari" deb ataladigan narsalarni predikatlar algebrasi tilida yozing: "Hamma narsa. S mohiyati R", "Biroz S mohiyati R"," Yo'q S nuqta emas R", "Biroz S nuqta emas R».
Kirish jadvalda keltirilgan. 1.1. Ushbu jadvalning birinchi ustunida "hamma", "ba'zi" va miqdoriy so'zlar bilan ifodalangan miqdorni (umumiy va xususiy mulohazalar) hisobga oladigan murakkab mezon bo'yicha toifali hukmlarni tasniflashda yuzaga keladigan hukm turi ko'rsatilgan. “mohiyat”, “mohiyat emas”, “bo‘ladi” bog‘lovchilari orqali bildirilgan sifat (tasdiq va salbiy hukmlar).
Ikkinchi ustunda an'anaviy mantiqda hukmlarning standart og'zaki shakllantirilishi, beshinchisida esa ularni predikat algebrasi tilida yozish berilgan. S(x)“x xossaga ega” deb tushunish kerak S", A P(x)- "x ning mulki bor" kabi R».
To'rtinchi ustunda tushunchalarning Vs va VP hajmlari o'rtasidagi munosabat ko'rsatilgan S Va R, agar hukmlar eng ko'p tushunilsa umumiy ko'rinish, ular faqat mavzu haqida keng qamrovli ma'lumot berganlarida. Masalan, hukmdan "Hammasi S mohiyati R"Biz hamma haqida gapirayotganimiz aniq S, predikat doirasi aniqlanmagan: biz xususiyatga ega bo'lgan barcha ob'ektlar haqida gapiramizmi? P, yoki faqat ba'zilari haqida; faqat agar S mohiyati P, yoki boshqa ob'ektlar ham mavjud R. Ba'zida bu predikat doirasi bilan bog'liq noaniqlik R kontekstni yo'q qiladi, ba'zida bu yo'q qilish talab qilinmaydi. VP hajmining Vs hajmiga nisbatini ta'kidlash uchun aniqroq formuladan foydalaniladi: “Hammasi S nafaqat S mohiyati R"yoki hammasi S va faqat ular mohiyatdir R" Ikkinchi formula deyiladi umumlashtirish tasdiqlovchi hukm. Birinchi hukmga rasmda ko'rsatilgan Venn diagrammasi javob beradi. 1, a, ikkinchi - rasmda. 1, b. Shu bilan birga, hukm “Ba'zilar S mohiyati R" odatda "Ba'zilar" deb tushuniladi S va nafaqat ular R", bu rasmdagi diagramaga mos keladi. 2, a, lekin u "Ba'zilar" degan ma'noni ham anglatishi mumkin S va faqat ular mohiyatdir S"(2-rasm, b). Hukm “Hammasi S nuqta emas R", umumiy shaklda tushunilgan, shakldagi diagrammaga mos keladi. 3, a. Xuddi shu hukmga urg'uli shaklda “Hammasi S va faqat ular emas R"rasmdagi diagrammaga javob beradi. 3, b. Ushbu formula o'rtasidagi munosabatlar tavsifiga mos keladi qarama-qarshi tushunchalar , ya'ni hajmlari kesishmaydigan va umumiyroq umumiy tushunchaning hajmini tugatmaganlar. Nihoyat, hukm “Ba'zilar S yemang R» Umuman olganda, rasmdagi diagrammaga mos keladi. 4, a va ajratib ko'rsatish shaklida “Ba'zi S va faqat ular emas R"- rasmdagi diagramma. 4, b. 3.1-jadval
Sud turi | Og'zaki formulalarni an'anaviy mantiqda yozish | Predikatlar algebrasi tilidagi yozuv | Vs va VP hajmlari o'rtasidagi munosabat |
Umumiy tasdiq | Hammasi S mohiyati P |
|
|
Shaxsiy tasdiq | Biroz S mohiyati R |
|
|
Umumiy salbiy | Yo'q S nuqta emas R |
|
|
Qisman salbiy | Biroz S nuqta emas R |
|
|
1-rasm
Guruch. 2
4-rasm3-misol. “Hamma odamlar o'likdir; Sokrat - odam; shuning uchun Sokrat o'likdir". Argumentning birinchi asosi umumiy tasdiqlovchi taklifdir (2-misolga qarang). Quyidagi belgini kiritamiz: H(x): x - shaxs; C (x): x - o'lik; c - Sokrat.
Argumentning tuzilishi:
"x(H(x)ÞC(x)), H(s) ├ C(s). (3.1)
(3.1) ushlab turmasin. Keyin ba'zi Do domenida (c, H(x), C(x)) uchun (a, li(x), lj(x)) to'plam mavjud bo'lishi kerak, bunda quyidagi shartlar bajariladi:
"x(li(x) Þ lj (x)) = I; li(a) = I; lj(a) = L.
Ammo keyin li(a) Þ lj (a) implikatsiyasi A qiymatiga ega bo‘lib, bu umumiy kvantning ta’rifi bo‘yicha “x(li(x) Þ lj (x)) = A ni bildiradi, bu birinchi shartga zid keladi. Shuning uchun, 2.8 xulosasi to'g'ri va asl fikr to'g'ri.
4-misol. Fikrlarni tahlil qiling: “CSKAni mag'lub eta oladigan har qanday xokkey jamoasi oliy liga jamoasidir. Oliy liganing hech bir jamoasi TsSKAni mag'lub eta olmaydi. Bu TsSKAning yengilmas ekanligini anglatadi”.
O belgisi: P(x): x jamoasi CSKAni mag'lub etishi mumkin; B (x): oliy liganing x jamoasi.
Argumentning tuzilishi:
"x(P(x) Þ B(x)), "x(B(x) Þ ØP(x)) ├ Ø$xP(x).
Ekvivalent o'zgartirishlar usuli yordamida olingan xulosaning to'g'riligini aniqlaymiz. 1.10-taklifni umumlashtirishning yakuniy b) xulosasidan foydalanib, “x(P(x) Þ B(x))&”x(B(x) Þ ØP(x)) Þ Ø$xP(x) formulasini o‘zgartiramiz.
Bizda: "x(P(x) Þ B(x)) & "x(B(x) Þ ØP(x)) Þ Ø$xP(x) = "x((P(x) Þ B(x) ) ) & (B(x) Þ ØP(x))) Þ Ø$xP(x) = Ø("x((ØP(x) Ú B(x)) & (ØB(x) Ú ØP(x) ) ) & $xP(x)) =
= Ø("x(ØP(x) Ú (B(x) & ØB(x)))) & $xP(x) = ØL = I.
Bu ekvivalent shakllanishlarda A & ØA = A birikmasining xossasi ikki marta va A Ú A = A disyunksiyasining xossasi bir marta ishlatilgan.
Shunday qilib, asl formula odatda to'g'ri, ya'ni fikrlash to'g'ri.
5-misol. Fikrlarni tahlil qiling: “Agar biron-bir jamoa TsSKAni mag'lub eta olgan bo'lsa, unda oliy liganing qaysidir jamoasi ham mag'lub bo'lishi mumkin. "Dinamo" (Minsk) oliy liga jamoasi, ammo TsSKAni mag'lub eta olmaydi. Bu TsSKAning yengilmas ekanligini anglatadi”.
Belgilash: P(x): x jamoasi CSKAni mag'lub etishi mumkin; B(x): oliy liganing x jamoasi; d - "Dinamo" (Minsk).
Argumentning tuzilishi:
"X P( X) Þ $ X(IN( X)& P( X)), V(d) & ØP(d) ├ Ø$ X P( X). (3.2)
Izoh. Fikrlarni rasmiylashtirishda shuni hisobga olish kerakki, tabiiy tilda bir xil so'z yoki iboralarning tez-tez takrorlanishiga yo'l qo'ymaslik uchun sinonim iboralar keng qo'llaniladi. Tarjima paytida ularni bir xil formula bilan etkazish kerakligi aniq. Bizning misolimizda bunday sinonimlar “buyruq” predikatlaridir X CSKA" va "jamoani mag'lub eta oladi X CSKAni mag'lub eta oladi" va ularning ikkalasi ham P() formulasi bilan ifodalanadi. X).
(3.2) ning ma'nosi noto'g'ri. Buni isbotlash uchun binolar va xulosani ifodalovchi formulalarning kamida bitta talqinini ko'rsatish kifoya, bunda binolar I qiymatini va xulosa - L qiymatini oladi. Bunday talqin, masalan, quyidagicha: D = (1, 2, 3, 4) . Ushbu talqinda biz hisob-kitoblardan so'ng,
I Þ I, I &ØL ├ ØI, yoki men, I ├ L.
Demak, bu talqinda ikkala asos ham I qiymatiga, xulosa esa L qiymatiga ega. Demak, quyidagi (3.2) noto‘g‘ri, mulohazalar esa noto‘g‘ri.
3.9. Tegishli domenlarga mos birlik predikatlarni kiritib, quyidagi gaplarni predikatlar algebrasi tiliga tarjima qiling:
a) Barcha ratsional sonlar haqiqiydir.
b) hech qanday ratsional son haqiqiy emas.
c) Ayrim ratsional sonlar haqiqiydir.
d) Ayrim ratsional sonlar haqiqiy emas.
Yechim. Quyidagi unar predikatlarni kiritamiz
Q(x): « X- ratsional son";
R(x): « X- haqiqiy raqam."
Shunda yuqoridagi gaplarning predikatlar algebrasi tiliga tarjimasi quyidagicha bo‘ladi:
a) https://pandia.ru/text/78/081/images/image038_14.png" width="144" height="21 src=">
c) https://pandia.ru/text/78/081/images/image040_13.png" width="137" height="21 src=">
3.10. Tegishli sohalarda birlamchi predikatlarni kiriting va ulardan quyidagi bayonotlarni predikatlar algebra formulalari shaklida yozish uchun foydalaning:
a) 12 ga bo'linadigan har bir natural son 2, 4 va 6 ga bo'linadi.
b) Shveytsariya aholisi frantsuz, italyan yoki nemis tillarida gaplashishi kerak.
v) Intervalda uzluksiz bo'lgan funksiya o'z belgisini saqlab qoladi yoki nol qiymatini oladi.
d) Ba'zi ilonlar zaharli.
e) Barcha itlar yaxshi hidga ega.
3.11. Quyidagi misollarda, o'zingizni birlik predikatlar bilan cheklamasdan, avvalgi muammodagi kabi bajaring:
a) Agar real koeffitsientli bitta oʻzgaruvchidagi koʻphadning ildizi boʻlsa, u ham shu koʻphadning ildizi boʻladi.
b) to'g'ri chiziqdagi har qanday ikkita aniq nuqta o'rtasida ular bilan mos kelmaydigan kamida bitta nuqta yotadi.
c) Ikki xil nuqtadan faqat bitta to'g'ri chiziq o'tadi.
d) Har bir talaba kamida bitta laboratoriya ishini bajardi.
e) natural sonlarning ko`paytmasi tub songa bo`linadigan bo`lsa, ko`paytmalardan kamida bittasi unga bo`linadi.
f) Bitta tekislik bitta to'g'rida yotmaydigan uchta nuqtadan o'tadi.
g) sonlarning eng katta umumiy bo‘luvchisi a Va b har bir umumiy bo'luvchiga bo'linadi.
h) Har bir haqiqiy son uchun X shunday bor da bu hamma uchun z, agar miqdor z va 1 ta kamroq da, keyin summa X va 2 4 dan kichik.
Va) X- Bosh raqam.
j) To‘rtdan katta har bir juft son ikkita tub sonning yig‘indisidir (Goldbax farazi).
3.12. Quyidagi gaplarni predikatlar algebrasi tilida yozing:
a) Aynan bittasi bor X, shu kabi P(x).
b) Kamida ikkita farq bor X, shu kabi P(x).
c) ikkitadan ortiq emas X, shu kabi P(x).
d) Aniq ikkita farq bor X, shu kabi P(x).
3.13. Har qanday predikat uchun M to'plami haqida nima deyish mumkin B(x) M to'plamdagi gap to'g'rimi?
3.14. Mayli P(x) degan ma'noni anglatadi x- tub raqam", E(x) degan ma'noni anglatadi X- juft son", Oh) - « X- toq raqam", D ( x,y) - « X ajratadi da"yoki" da tomonidan bo'linadi X" Quyidagi ramziy belgilarni rus tiliga predikatlar algebrasi tiliga tarjima qiling, o‘zgaruvchilar X Va da natural sonlar to'plamidan o'ting:
A) P( 7) ;
b) E ( 2) & P( 2) ;
c) https://pandia.ru/text/78/081/images/image044_13.png" eni="136" balandligi="21 src=">;
e) https://pandia.ru/text/78/081/images/image046_14.png" width="237" height="23 src=">;
g) https://pandia.ru/text/78/081/images/image048_12.png" eni="248" balandligi="23 src=">;
i) https://pandia.ru/text/78/081/images/image050_10.png" width="109" height="21 src=">.png" width="127" height="23">. png" width="108" height="23"> ├ ?
Quyidagilarning to'g'riligini Venn diagrammasi yordamida ham tekshirish mumkin, agar binolar va xulosalar bitta o'zgaruvchiga bog'liq bo'lgan yagona predikatlar bo'lsa. Bizning misolimizda asos va xulosalar bo'lgan kategorik hukmlar uchun tushunchalar hajmlari o'rtasidagi munosabatlar. S Va R 2-misolda tasvirlangan. Biz bu tavsifdan foydalanamiz.
Venn diagrammasi usuli bitta asosiy holat uchun quyidagicha. Biz tushunchalar hajmlari o'rtasidagi munosabatlarning barcha mumkin bo'lgan holatlarini diagrammalar bilan tasvirlaymiz S Va R, posilkaga mos keladi.
Agar olingan diagrammalarning har biri bo'yicha xulosa to'g'ri bo'lsa, unda quyidagi to'g'ri bo'ladi. Agar diagrammalarning kamida bittasida xulosa noto'g'ri bo'lsa, unda quyidagi noto'g'ri.
(a) Boshlang'ich manfiy taklif bo'lganligi sababli, 1-rasmda ko'rsatilgan diagrammalar uning uchun mumkin. 5.
Ushbu diagrammalarning hech birida hukm https://pandia.ru/text/78/081/images/image030_13.png" width="108" height="23"> ma'lum bir tasdiqlovchi hukm emas, keyin u uchun mumkin bo'lgan diagrammalar mavjud. .6-rasmda ko'rsatilgan.
Ushbu maqola "Ratsional sonlar" mavzusini o'rganishga bag'ishlangan. Quyida ratsional sonlarning ta'riflari, misollar keltirilgan va sonning ratsional yoki ratsional emasligini aniqlash usullari keltirilgan.
Ratsional sonlar. Ta'riflar
Ratsional sonlarning ta'rifini berishdan oldin, keling, boshqa qanday sonlar to'plami borligini va ular bir-biri bilan qanday bog'liqligini eslaylik.
Natural sonlar qarama-qarshiliklari va nol soni bilan birgalikda butun sonlar to‘plamini tashkil qiladi. O'z navbatida, butun kasr sonlar to'plami ratsional sonlar to'plamini tashkil qiladi.
Ta'rif 1. Ratsional sonlar
Ratsional sonlar - musbat oddiy kasr a b, manfiy umumiy kasr a b yoki nol soni sifatida ifodalanishi mumkin bo'lgan sonlar.
Shunday qilib, biz ratsional sonlarning bir qator xususiyatlarini saqlab qolishimiz mumkin:
- Har qanday natural son ratsional sondir. Shubhasiz, har bir natural son n ni 1 n kasr sifatida ifodalash mumkin.
- Har qanday butun son, shu jumladan 0 raqami ratsional sondir. Darhaqiqat, har qanday musbat butun va har qanday manfiy son mos ravishda musbat yoki manfiy oddiy kasr sifatida osongina ifodalanishi mumkin. Masalan, 15 = 15 1, - 352 = - 352 1.
- Har qanday musbat yoki manfiy umumiy kasr a b ratsional sondir. Bu to'g'ridan-to'g'ri yuqorida keltirilgan ta'rifdan kelib chiqadi.
- Har qanday aralash son ratsionaldir. Darhaqiqat, aralash sonni oddiy noto'g'ri kasr sifatida ko'rsatish mumkin.
- Har qanday chekli yoki davriy o'nli kasr kasr sifatida ifodalanishi mumkin. Shuning uchun, har bir davriy yoki chekli kasr ratsional sondir.
- Cheksiz va davriy bo'lmagan o'nli kasrlar ratsional sonlar emas. Ularni oddiy kasrlar shaklida ifodalash mumkin emas.
Ratsional sonlarga misollar keltiraylik. 5, 105, 358, 1100055 raqamlari natural, musbat va butun sondir. Shubhasiz, bu ratsional raqamlar. - 2, - 358, - 936 raqamlari manfiy butun sonlar bo'lib, ular ham ta'rifga ko'ra ratsionaldir. 3 5 , 8 7 , - 35 8 oddiy kasrlar ham ratsional sonlarga misoldir.
Ratsional sonlarning yuqoridagi ta'rifini qisqacha ifodalash mumkin. Ratsional son nima degan savolga yana bir bor javob beraylik.
Ta'rif 2. Ratsional sonlar
Ratsional sonlar ± z n kasr shaklida ifodalanishi mumkin bo'lgan sonlar bo'lib, bu erda z butun son va n natural sondir.
Bu ta'rif ratsional sonlarning oldingi ta'rifiga ekvivalent ekanligini ko'rsatish mumkin. Buning uchun kasr chizig'i bo'linish belgisiga teng ekanligini unutmang. Butun sonlarni bo'lish qoidalari va xususiyatlarini hisobga olgan holda, biz quyidagi adolatli tengsizliklarni yozishimiz mumkin:
0 n = 0 ÷ n = 0; - m n = (- m) ÷ n = - m n.
Shunday qilib, biz yozishimiz mumkin:
z n = z n, p r va z > 0 0, p r va z = 0 - z n, p r va z< 0
Aslida, bu yozuv dalildir. Ikkinchi ta’rifdan kelib chiqib, ratsional sonlarga misollar keltiramiz. 3, 0, 5, - 7 55, 0, 0125 va - 1 3 5 raqamlarini ko'rib chiqing. Bu raqamlarning barchasi mantiqiydir, chunki ularni butun sonli va natural maxrajli kasr shaklida yozish mumkin: - 3 1, 0 1, - 7 55, 125 10000, 8 5.
Ratsional sonlar ta'rifining boshqa ekvivalent shaklini beraylik.
Ta'rif 3. Ratsional sonlar
Ratsional son - bu chekli yoki cheksiz davriy o'nli kasr sifatida yozilishi mumkin bo'lgan son.
Ushbu ta'rif to'g'ridan-to'g'ri ushbu bandning birinchi ta'rifidan kelib chiqadi.
Keling, ushbu fikrni umumlashtirib, xulosa qilaylik:
- Ijobiy va manfiy kasrlar va butun sonlar ratsional sonlar to'plamini tashkil qiladi.
- Har bir ratsional sonni oddiy kasr sifatida ifodalash mumkin, uning soni butun son, maxraji esa natural sondir.
- Har bir ratsional son o'nlik kasr sifatida ham ifodalanishi mumkin: chekli yoki cheksiz davriy.
Qaysi raqam mantiqiy?
Biz allaqachon aniqlaganimizdek, har qanday natural son, butun son, to'g'ri va noto'g'ri oddiy kasr, davriy va chekli o'nli kasr ratsional sonlardir. Ushbu bilim bilan qurollangan holda, siz ma'lum bir raqamning oqilona ekanligini osongina aniqlashingiz mumkin.
Biroq, amalda, ko'pincha raqamlar bilan emas, balki ildizlar, kuchlar va logarifmlarni o'z ichiga olgan raqamli ifodalar bilan shug'ullanish kerak. Ba'zi hollarda "son oqilonami?" Degan savolga javob beradi. aniqlikdan uzoqdir. Keling, bu savolga javob berish usullarini ko'rib chiqaylik.
Agar raqam faqat ratsional sonlar va ular orasidagi arifmetik amallarni o'z ichiga olgan ifoda sifatida berilgan bo'lsa, u holda ifodaning natijasi ratsional son bo'ladi.
Masalan, 2 · 3 1 8 - 0, 25 0, (3) ifodaning qiymati ratsional son bo'lib, 18 ga teng.
Shunday qilib, murakkab sonli ifodani soddalashtirish u tomonidan berilgan sonning oqilona ekanligini aniqlash imkonini beradi.
Endi ildizning belgisini ko'rib chiqaylik.
Ma’lum bo‘lishicha, m sonining n darajali ildizi sifatida berilgan m n soni m qandaydir natural sonning n-darajasi bo‘lgandagina ratsional bo‘ladi.
Keling, bir misolni ko'rib chiqaylik. 2 raqami mantiqiy emas. Holbuki 9, 81 ratsional sonlardir. 9 va 81 mos ravishda 3 va 9 raqamlarining mukammal kvadratlari. 199, 28, 15 1 raqamlari ratsional sonlar emas, chunki ildiz belgisi ostidagi raqamlar hech qanday natural sonlarning mukammal kvadratlari emas.
Endi ko'proq narsani olaylik qiyin ish. 243 5 ratsional sonmi? Agar siz 3 ni beshinchi darajaga ko'tarsangiz, siz 243 ni olasiz, shuning uchun asl ifodani quyidagicha qayta yozish mumkin: 243 5 = 3 5 5 = 3. Shuning uchun bu raqam oqilona. Endi 121 5 raqamini olaylik. Bu raqam mantiqiy emas, chunki beshinchi darajaga ko'tarilishi 121 ni beradigan natural son yo'q.
a sonining b ga bo'lgan logarifmi ratsional son ekanligini bilish uchun qarama-qarshilik usulini qo'llash kerak. Masalan, log 2 5 sonining ratsional ekanligini aniqlaymiz. Faraz qilaylik, bu raqam mantiqiy. Agar shunday bo'lsa, uni oddiy kasr log 2 5 = m n ko'rinishida yozish mumkin, logarifmning xususiyatlariga va darajaning xususiyatlariga ko'ra, quyidagi tengliklar to'g'ri bo'ladi.
5 = 2 log 2 5 = 2 m n 5 n = 2 m
Shubhasiz, oxirgi tenglik mumkin emas, chunki chap va o'ng tomonlarda mos ravishda toq va juft raqamlar mavjud. Shuning uchun, qilingan taxmin noto'g'ri va log 2 5 ratsional son emas.
Shuni ta'kidlash kerakki, raqamlarning ratsionalligi va irratsionalligini aniqlashda siz to'satdan qaror qabul qilmasligingiz kerak. Masalan, irratsional sonlar ko‘paytmasining natijasi har doim ham irratsional son bo‘lavermaydi. Tasviriy misol: 2 · 2 = 2.
Irratsional sonlar ham borki, ularni irratsional darajaga ko'tarish ratsional sonni beradi. 2 log 2 3 ko'rinishdagi darajalarda asos va ko'rsatkich irratsional sonlardir. Biroq, raqamning o'zi oqilona: 2 log 2 3 = 3.
Agar siz matnda xatolikni sezsangiz, uni belgilang va Ctrl+Enter tugmalarini bosing
Muammo 2. 1
Agar P(x) M to‘plamida aniqlangan unar predikat bo‘lsa, quyida keltirilgan ramziy gaplarni so‘z bilan ifodalang:
Muammo 2. 2
x*x tengsizligi sifatida aniqlangan A(x) predikatining kengaytmasi bilan nima sodir bo'ladi?<2*x-1, если обе стороны этого неравенства умножить на k, где k:
Muammo 2.3
R(x) "x haqiqiy son" bo'lsin,
Q(x) - "x - ratsional son". Ushbu belgilardan foydalanib, formulani yozing:
1. barcha ratsional sonlar haqiqiydir
2. hech qanday ratsional son haqiqiy emas
3. ba'zi ratsional sonlar haqiqiydir
4. ba'zi ratsional sonlar haqiqiy emas
Muammo 2.4
Quyidagi predikatlar kiritilgan:
J(x)- "x - hakam",
L(x)- "x - huquqshunos",
S(x)- "x - firibgar",
Q(x)- "x - keksa odam",
V(x)- "x - quvnoq",
P(x)- "x siyosatchi",
C(x)- "x - parlament a'zosi",
W (x) - "x - ayol",
U(x)- "x - uy bekasi",
A(x, y) - "x y ga qoyil qoladi",
j - Jons.
Og'zaki tavsif va formulalar o'rtasidagi yozishmalarni toping:
Barcha sudyalar advokat
Ba'zi advokatlar firibgarlar
Hech bir hakam firibgar emas
Ba'zi hakamlar qari, lekin baquvvat
Sudya Jons qari ham, sog'lom ham emas
Hamma advokatlar ham sudya emas
Ba'zi huquqshunoslar siyosatchi, parlament a'zolari
Hech bir deputat quvnoq emas
Parlamentning barcha eski deputatlari huquqshunoslar
Ayrim ayollar ham huquqshunos, ham parlament deputati
Hech bir ayol ham siyosatchi, ham uy bekasi emas
Ayrim advokat ayollar ham uy bekasi
Barcha advokat ayollar qandaydir sudyani hayratda qoldiradilar
Ba'zi advokatlar faqat sudyalarni hayratda qoldiradilar
Ba'zi advokatlar ayollarni hayratda qoldiradilar
Ba'zi firibgarlar hech qanday advokatga qoyil qolishmaydi
Sudya Jons hech qanday Firibgarni hayratda qoldirmaydi
Sudya Jonsni qoyil qoldiradigan advokatlar ham, firibgarlar ham bor
Faqat sudyalar hakamlarni hayratda qoldiradilar
a. $x $y (L(x)/\S(y)/\A(x, j)/\A(y, j)/\J(j))
b. "x (J(x)® "y (A(x, y) ®J(y)))
c. "x (C(x) ® ù "(x))
d. "x (C(x)/\Q(x) ®L(x))
e. $x (W(x)/\L(x)/\C(x))
f. $x (W(x)/\L(x)/\U(x))
g. "x (W(x) ® ù (P(x)/\U(x)))
h. "x (W(x)/\L(x) ®$y (J(y)/\A(x, y)))
j. "x (J(x) ®L(x))
k. $x (L(x)/\ $y (W(y)/\A(x, y)))
l. $x (L(x)/\S(x))
m. $x (S(x)/\ "y (L(y)/\ ù A(x, y)))
n. "x (J(x) ® ù S(x))
o. "x (J(j)/\ ù A(j, x)/\S(x))
p. $x (J(x)/\Q(x)/\"(x))
q. $x (L(x)/\ $y (W(y)/\A(x, y)))
r. J(i)/\ ù Q(j)/\ ù "(j)
s. ù "x (L(x) ®J(x))
t. $x (L(x)/\P(x)/\C(x))
Muammo 2.5
Quyidagi iboralarni formulalar tiliga tarjima qiling:
Agar har bir raqam har bir raqamga bo'linadigan bo'lsa, u juft bo'ladi
har bir haqiqiy x soni uchun shunday y mavjudki, har bir k uchun k va 1 ning yig'indisi y dan kichik bo'lsa, x va 2 ning yig'indisi 4 dan kichik bo'ladi.
har qanday songa bo'linadigan juft son bor, agar bu har qanday son tub bo'lsa
a va b sonlarining eng katta umumiy boʻluvchisi ularning har bir umumiy boʻluvchisiga boʻlinadi.
Har qanday son tub bo'lishi uchun u toq songa bo'linmasligi kerak.
har bir haqiqiy son uchun kattaroq haqiqiy son mavjud
X, y, k haqiqiy sonlar borki, x va y yig'indisi x va k ko'paytmasidan kattaroqdir.
agar cheklangan sonli omillarning mahsuloti 0 ga teng bo'lsa, u holda omillarning kamida bittasi 0 ga teng
Muammo 2.6
Quyidagi predikatlar kiritilgan:
P(x) - "x - tub son"
E(x) - "x - juft son"
O(x) - "x - toq son"
D(x, y) - "y x ga bo'linadi"
Formulalarni rus tiliga tarjima qiling:
3. "x (D(2, x) ®E(x))
4. $x (E(x)/\D(x, 6))
5. "x (ù E(x) ® ù D(2, x))
6. "x (E(x)/\"y (D(x, y) ®E(y)))
7. "x (P(x) ®$y (E(y)/\D(x, y)))
8. "x (O(x) ®*y (P(y) ® ù D(x, y)))
Muammo 2.7
Quyidagi ekvivalentlarni isbotlang:
1. = $x (A(x) ®B(x))¬®"x (A(x) ®$x B(x))
2. = $x (A(x) ¬®B(x)) ¬®"x (A(x)\/B(x)) ® $x (A(x)/\B(x))
Muammo 2.8
Quyidagi tavtologiyalarni isbotlang:
1. = "x A(x)® $x A(x)
2. = ù "x A(x)¬® $x ù A(x)
3. = $x A(x) ¬® ù "x ù A(x)
Muammo 2.9
Predikativ iboralarni to'g'ri normal shaklda oling:
1. "x(("y F(x, y)/\ "y G(x, y, z))\/ "y$z H(x, y, z))
2. $x(ù ($y P(x, y) ®$z Q(z) ®R(x)))
Muammo 2. 10
Ifodani kon'yunktiv normal shaklga qisqartiring:
"x (P(x) ®("y (P(y) ®P(f(x, y)))) /\
/\ ù (""y (Q(x, y) ®P(y))))
Muammo 2. 11
Quyidagi formulalar uchun haqiqat jadvallarini tuzing (predikatlar ikkita element to'plamida aniqlanadi):
1. "x(P(x) ®Q)\/(Q/\P(y))
2. "x(S(x) ®L)¬® $x(S(x) ®L)
3. "x $y((B(x)/\D(y))\/(B(x) ®C))
4. "x P(x) ¨S)/\(P(y)\/S)
5. ($x D(x)/\A) ¨($x E(x)\/A)
6. ("x A(x) ®Q) \/ (Q®$x A(x))
7. (A(y)\/Q)¨($x A(x)/\Q)
Muammo 2. 12
Berilgan: D=(a, b), P(a, a)=va, P(a, b)=l, P(b, a)=l, P(b, b)=va haqiqat qiymatlarini aniqlang formulalardan:
1. "x $y P(x, y)
2. $x "y P(x, y)
3. "x "y (P(x, y) ®P(y, x))
4. "x "y P(x, y)
5. $y ù P(a, y)
7. "x $y (P(x, y)/\P(y, x))
8. $x "y (P(x, y) ®P(y, x))\/P(x, y)
Muammo 2. 13
Muvofiqlik uchun quyidagi sabablarni tekshiring:
Har bir talaba halol. Jon halol emas. Demak, Jon talaba emas.
Avliyo Frensis kimnidir sevadigan har bir kishi tomonidan seviladi. Hamma kimnidir sevadi. Shuning uchun, hamma Aziz Frensisni yaxshi ko'radi.
Hech bir hayvon o'lmas emas. Mushuklar hayvonlardir. Bu shuni anglatadiki, ba'zi mushuklar o'lmas emas.
Faqat qushlarning patlari bor. Hech bir sutemizuvchi qush emas. Bu barcha sutemizuvchilarda patlar yo'qligini anglatadi.
Barcha siyosatchilar aktyorlar. Ba'zi aktyorlar ikkiyuzlamachi. Demak, ayrim siyosatchilar munofiqdir.
Bir ahmoq bunga qodir bo'lar edi. Men bunga qodir emasman. Demak, men ahmoq emasman.
Agar kimdir bu masalani hal qila olsa, har qanday matematik ham shunday bo'lishi mumkin. Sasha matematik, lekin qila olmaydi. Bu muammoni hal qilib bo'lmasligini anglatadi.
Har qanday matematik bu masalani kimdir hal qila olsa, hal qila oladi. Sasha matematik, lekin u buni hal qila olmaydi. Bu muammoning hal etilmaydiganligini anglatadi.
Bu masalani hal qila oladigan har bir kishi matematikdir. Sasha buni hal qila olmaydi. Shuning uchun Sasha matematik emas.
Bu masalani hal qila oladigan har bir kishi matematikdir. Hech bir matematik bu muammoni hal qila olmaydi. Shuning uchun buni hal qilib bo'lmaydi.
Agar 1 dan 101 gacha boʻlgan har qanday son 101 ni boʻlsa, 11 dan kichik boʻlmagan tub son 101 ni boʻlolmaydi. 11 dan kichik boʻlmagan tub son 101 ni boʻlmaydi. Demak, 1 dan 101 gacha boʻlgan birorta ham son 101 ni boʻlolmaydi.
Agar ma'lum bir shaxsning ajdodining har bir ajdodi ham o'sha individning ajdodi bo'lsa va hech bir shaxs o'zining ajdodi bo'lmasa, unda ajdodlari bo'lmagan kishi bo'lishi kerak.
Har bir inson uchun undan yoshi kattaroq odam bor. Agar x y ning avlodi bo'lsa, x y dan katta emas. Hamma odamlar Odam Atoning avlodlaridir. Demak, Odam Ato odam emas.
Har qanday x to'plam uchun shunday y to'plam mavjudki, y ning kardinalligi x ning kardinalligidan kattaroqdir. Agar x y ga kiritilgan bo'lsa, u holda x ning kuchi y ning kuchidan katta emas. Har bir to'plam V tarkibiga kiradi. Shuning uchun V to'plam emas.
Barcha sudralib yuruvchilarning 4 oyog'i bor yoki umuman oyoqlari yo'q. Qurbaqaning 4 oyog'i bor. Demak, u sudralib yuruvchi.
Imtihonni vaqtida topshirgan har bir talaba stipendiya oladi. Petrov stipendiya olmaydi. Shuning uchun u talaba emas.
Barcha qushlar tuxum qo'yadi. Hech bir timsoh qush emas. Shuning uchun timsohlar tuxum qo'ymaydi.
Agar uning barcha o'quvchilari birinchi urinishda imtihondan o'tishsa, o'qituvchi mamnun bo'ladi. Hech kim mantiqni birinchi urinishda o'tkaza olmaydi. Binobarin, mantiq o'qituvchisi doimo norozi bo'ladi.
Har beshinchi kurs talabasi barcha imtihonlarni topshirsa, diplom oladi. Hamma ham diplom olmadi. Bu kimdir barcha imtihonlardan o'tmaganligini anglatadi.
Hech kim hasharotlarni yoqtirmaydi. O'rgimchaklar hasharotlar emas. Bu kimdir ularni sevishini anglatadi.
Barcha san'at o'qituvchilari erkaklar. Quyi sinflarda barcha darslarni ayollar olib boradilar. Binobarin, quyi sinflarda chizmachilik o‘qitilmaydi.
Maktabni bitirgan har bir kishi ingliz tilida gaplasha oladi. Myuller oilasida hech kim ingliz tilini bilmaydi. Institutga oʻrta maʼlumotga ega boʻlmagan shaxslar qabul qilinmaydi. Binobarin, Myullerlarning hech biri institutda o'qimaydi.
Barcha yoqilg'i quyish shoxobchalari daromad keltiradi. Barcha idishlarni yig'ish punktlari foyda keltirmaydi. Korxona bir vaqtning o'zida ham daromadli, ham foydasiz bo'lishi mumkin emas. Binobarin, hech bir yoqilg'i quyish shoxobchasi shishalarni qabul qilmaydi.
Aqli sog'lom bo'lgan har bir kishi matematikani tushuna oladi. Tomning o'g'illaridan hech biri matematikani tushuna olmaydi. Aqldan ozganlarga ovoz berish mumkin emas. Shunday qilib, Tomning o'g'illarining hech biri ovoz berish huquqiga ega emas.
N dagi har bir sartarosh hammani va faqat o'zini qilmaganlarni soqolini oladi. Binobarin, N.da bitta ham sartarosh yo'q.
Har bir sportchi kuchli. Kuchli va aqlli har bir inson hayotda muvaffaqiyatga erishadi. Piter - sportchi. Piter aqlli. Shunday qilib, u hayotda muvaffaqiyat qozonadi.
Muammo 2. 14
Quyidagi sabablar mantiqiy bo'lishi uchun etishmayotgan binolarni yoki xulosani tiklang:
Sevgiga faqat jasurlar loyiqdir. U sevgida omadli. U jasur emas.
Kattalarga faqat bolalar bilan kirishga ruxsat berildi. Ular meni ichkariga kiritishdi. Shunday qilib, men bolaman yoki bola bilan keldim.
Muammo 2. 15
Quyidagi bayonotlar haqiqatdir:
ma'lumotlar tuzilishini bilish aqliy intizomni yaxshilash uchun zarur;
faqat dasturlash tajribasi intizomli ongni yaratishi mumkin;
kompilyator yozish uchun siz muammolarni tahlil qila olishingiz kerak;
intizomsiz aql muammolarni tahlil qila olmaydi;
Strukturaviy dasturlarni yozgan har bir kishini tajribali dasturchi deb hisoblash mumkin.
Ushbu taxminlardan quyidagi bayonotlarning to'g'riligini aniqlash mumkinmi:
6. kompilyator yozish imkoniyatiga ega bo'lish uchun tuzilgan dasturlarni yozish tajribasi zarur;
7. ma'lumotlar tuzilmalarini bilish dasturlash tajribasining bir qismidir;
8. ma'lumotlar tuzilmalarini e'tiborsiz qoldiradiganlar uchun vazifani tahlil qilish mumkin emas;
9. Strukturaviy dasturlarni yozgan, muammolarni tahlil qila oladigan va intizomli aqlga ega bo'lgan tajribali dasturchi kompilyator yoza oladigan dasturchi hisoblanadi.
Muammo 2. 16
Binolarni formulalar shaklida yozing va xulosalarning to'g'riligini isbotlash uchun barcha ma'lum usullarni qo'llang.
Mavzu: 1. ajdaho barcha bolalari ucha olsa, baxtlidir;
2. yashil ajdaho ucha oladi;
3. Agar ota-onasidan kamida bittasi yashil bo'lsa, ajdaho yashil, aks holda u yorqin pushti.
Xulosa: 1. Yashil ajdarlar baxtlidir.
2. Farzandsiz ajdarlar baxtlidir (bu erda sizga aniq o'tkazib yuborilgan binolar kerak bo'lishi mumkin).
3. Qiziq pushti ajdaho baxtli bo'lish uchun nima qilishi kerak?
Muammo 2. 17
Predikatlar va arifmetik belgilar uchun kiritilgan belgilardan foydalanish (masalan, "+" va "<"), перевести на язык формул:
1. Agar chekli sonli omillarning ko‘paytmasi nolga teng bo‘lsa, u holda omillardan kamida bittasi nolga teng bo‘ladi (Px – “x – chekli sonli omillarning ko‘paytmasi” degan ma’noni anglatadi, Fxy esa “x – omillardan biri” degan ma’noni bildiradi. y”).
2. a va b sonlarning eng katta umumiy boʻluvchisi ularning har bir umumiy boʻluvchisiga boʻlinadi (Fxy “x y sonining boʻluvchilaridan biri” degan maʼnoni anglatadi va Gxyz - “z” x sonlarining eng katta umumiy boʻluvchisi. va y").
3. Har bir x haqiqiy soni uchun kattaroq haqiqiy y(Rx) soni mavjud.
4. X, y, z haqiqiy sonlar borki, x va y sonlarining yig’indisi x va z sonlarining ko’paytmasidan katta bo’ladi.
5. Har bir x haqiqiy son uchun shunday y mavjudki, har bir z uchun, agar z va 1 yig‘indisi y dan kichik bo‘lsa, x va 2 ning yig‘indisi 4 dan kichik bo‘ladi.
Muammo 2. 18
A0, A1, ..., An, ... haqiqiy sonlar ketma-ketligi bo‘lsin. Cheklangan kvantlardan foydalanib, ramziy shaklga tarjima qiling:
1. a bu ketma-ketlikning chegarasi degan gap; 2. Bu ketma-ketlikning chegarasi borligi haqidagi bayonot; 3. Bu ketma-ketlikning Koshi ketma-ketligi (ya’ni, e>0 berilgan bo‘lsa, u holda k musbat son borki, n, m>k úAn - Amu ni bildiradi) degan gap.< e).
Har bir formulaning inkorini yozing.
Muammo 2. 19
Quyidagi dalillarga mos keladigan xulosalar chiqaring:
Hech bir respublikachi yoki demokrat sotsialist emas. Norman Tomas sotsialist. Shuning uchun u respublikachi emas.
Har bir ratsional son haqiqiy sondir. Ratsional raqam mavjud. Shunday qilib, haqiqiy raqam mavjud.
Hech bir birinchi kurs talabasi ikkinchi kurs talabalarini yoqtirmaydi. Daskombda yashovchi hamma ikkinchi kurs talabasi. Binobarin, hech bir birinchi kurs talabasi Duskombda yashovchi hech kimni yoqtirmaydi.
Ba'zi birinchi kurs talabalari barcha ikkinchi kurs talabalarini yaxshi ko'radilar. Hech bir birinchi kurs talabasi oxirgi kurs talabalarining birortasini yoqtirmaydi. Binobarin, ikkinchi kurs talabasi ham oxirgi kurs talabasi emas.
Ba'zi odamlar Elvisni yaxshi ko'radilar. Ba'zilar Elvisni yoqtiradigan odamni yoqtirmaydilar. Shuning uchun, ba'zi odamlar hamma tomonidan sevilmaydi.
Hech bir dori sotuvchisi giyohvand emas. Giyohvand moddalarga qaram bo‘lgan ayrim shaxslar javobgarlikka tortildi. Binobarin, jinoiy javobgarlikka tortilganlarning bir qismi giyohvand moddalar sotuvchisi emas.
Barcha birinchi kurs talabalari barcha ikkinchi kurs talabalari bilan uchrashadilar. Hech bir birinchi kurs talabasi oxirgi kursdan bitta talaba bilan uchrashmaydi. Ikkinchi kurs talabalari bor. Binobarin, ikkinchi kurs talabasi ham oxirgi kurs talabasi emas.
Barcha ratsional sonlar haqiqiy sonlardir. Ba'zi ratsional sonlar butun sonlardir. Shuning uchun ba'zi haqiqiy sonlar butun sonlardir.
16. Quyidagi gaplardan qaysi biri gap hisoblanadi?
a) temir qo'rg'oshindan og'irroq;
b) bo'tqa - mazali taom;
v) matematika qiziqarli fan;
d) bugun ob-havo yomon.
17. Quyidagi gaplardan qaysi biri yolg‘on gap hisoblanadi?
a) temir qo'rg'oshindan og'irroq;
b) kislorod – gaz;
v) informatika - qiziqarli fan;
d) temir qo'rg'oshinga qaraganda engilroq.
18. Quyidagi gaplardan qaysi biri gapning inkori hisoblanadi: “Hammasi tub sonlar g'alati":
a) “Juft tub son bor”;
b) “Toq tub son bor”;
c) “Barcha tub sonlar juftdir”;
d) “Barcha toq sonlar tub sonlar”?
19. Quyidagi haqiqat jadvaliga qaysi mantiqiy amal mos keladi?
a) bog‘lovchilar;
b) disjunksiyalar;
c) oqibatlar;
d) ekvivalentlik.
20. Quyidagi haqiqat jadvaliga qaysi mantiqiy amal mos keladi?
a) ekvivalentlik;
b) bog‘lovchilar;
c) oqibatlar;
d) disjunksiyalar.
21. “Ushbu uchburchak teng yon tomonli” gapini A bilan belgilaymiz
B - "Bu uchburchak teng tomonli" bayonoti. Haqiqiy bayonotni ko'rsating:
22. Agar F(X 1, X 2, …, X n) taklif algebra formulasini to‘g‘ri gapga aylantiruvchi A 1, A 2, … A n gaplar to‘plami mavjud bo‘lsa, bu formula deyiladi:
a) mumkin;
b) tavtologiya;
c) qarama-qarshilik;
d) rad etilishi mumkin.
23. Tavtologiya quyidagi taklif algebra formulasi F(X 1, X 2, …, X n):
a) barcha o'zgaruvchilar to'plami uchun haqiqiy bayonotga aylanadi;
b) ular uchun formulani to'g'ri gapga aylantiruvchi gaplar to'plami mavjud;
c) barcha o'zgaruvchilar to'plami uchun noto'g'ri bayonotga aylanadi;
d) ular uchun formulani noto'g'ri gapga aylantiruvchi gaplar to'plami mavjud.
24. Qaysi formulalar inkor etilishi mumkin?
25. Formulalardan qaysi biri amalga oshirilishi mumkin?
26. “Har qanday son uchun shunday raqam bor” gapiga qaysi gap mos keladi:
27. Qaysi gap gapga mos keladi?
a) “Shunday raqamlar bor;
b) “Tenglik hamma uchun adolatlidir;
c) “Barcha raqamlar uchun shunday raqam bor”;
d) "Har qanday raqam uchun shunday raqam mavjud."
28. Quyidagi gaplarning qaysi biri noto‘g‘ri?
29. “ Predikatning haqiqat to‘plamini ko‘rsating. x M=(1, 2, 3, 4, 5, 6, 7, 8, 9):
a) TP=(3, 6, 9);
c) TP=(1, 2, 3, 4, 5, 6, 7, 8, 9);
d) TP=(3, 6, 9, 12).
30. “ Predikatning haqiqat to‘plamini ko‘rsating. x M=(3, 6, 9, 12) toʻplami boʻyicha aniqlangan 3”, ga karrali:
a) TP=(3, 6, 9, 12); b) TP=(3, 6, 9);
c) TP=(1, 2, 3, 4, 5, 6, 7, 8, 9); d) TP=Æ.
31. “ Predikatning haqiqat to‘plamini ko‘rsating. x 2 +x+6=0", haqiqiy sonlar to'plamida aniqlangan:
a) TP=Æ; b) TP=(1, 6); c) TP=(–2, 3); d) TP=(–3, 2).
32. Predikatning haqiqat to‘plamini ko‘rsating:
33. Predikatning haqiqat to‘plamini ko‘rsating:
38. Quyidagi unar predikatlarni kiritamiz:
Q(x): « x- ratsional son";
R(x): « x haqiqiy raqamdir."
Keyin predikatni quyidagi gapning predikatlar algebrasi tiliga tarjimasi sifatida ko'rib chiqish mumkin:
a) ba'zi ratsional sonlar haqiqiy;
b) ba'zi ratsional sonlar haqiqiy emas;
c) hech qanday ratsional son haqiqiy emas;
d) barcha ratsional sonlar haqiqiydir.