Mulohazalar implikatsiya va ekvivalеntsiya

Mulohazalar implikatsiya va ekvivalеntsiya. Mantiqiy amallarning qonunlari. Reja: 1. Mulohazalar implikatsiyaga oid misollar. 2. Mulohazalar ekvivalеntsiyaga oid misollar. 3.Mantiqiy amallarning qonunlari. Quyidаgi fоrmulаlаrning аynаn rоst ekаnligini isbоtlаng : Mulohazalar va ular ustida amallarga doir topshiriqlar 1. mulohazaning rostlik jadvali quyidagicha bo'ladi: Rostlik jadvalini tuzing Mulohazalarga savol va topshiriqlar Mulohazalarga misollar keltiring. Ulaming rost yoki yolg'onligini aniqlang. 2. Quyidagi jumlalar orasidan mulohazalarni ajrating va ularning rostlik qiymatini toping: a) 9 - butun son; b) 48 ni 5 ga bollganda 4 qoldiq qoladi; d) so'roq gap mulohaza bo'ladi; e) x≤7; f) 17 2 - 21 = 13; g) x2 + 4 = 13; h) 24 - tub son. 3. Quyidagi mulohazalar inkorini tuzing va ularning rostlik qiymatini toping: a)225 soni 9 ga bo'linadi; b) 21 soni 7 ga bo'linadi; v)7,6 - natural son; g) Praga-Bolgariyaning poytaxti; d)7 3; e) 27 : 3 + 2 3 - 18 ifodaning qiymati 0 ga teng. 4. A: «4 7», B: «Toshkent O'zbekistonning poytaxti» mulohazalari berilgan bo'lsa, ularning konyunksiyasini tuzing va rostlik qiymatini toping. Shuningdek, A∧B, A∧ B, A∧B mulohazalarini so'z orqali ifodalang. 5. A: «26 : 2 + 11 = 28»,B: «3 - tub son» mulohazalari berilgan bo'lsa, A∨ B, B∨A,∨B, ∨, A∨ larni so'z orqali ifodalang va ularning rostlik qiymatini toping. C: «3 - toq son», B: «7 soni 28 ning bo'luvchisi» mulohazalari berilgan bo'lsa, ularning implikatsiyasini ifodalang va rostlik qiymatini toping. A: «11201 sonining raqamlari yig'indisi 3 ga bo'linadi» B:«11201 soni 3 ga bo'linadi» mulohazalari berilgan. Ularning ekvivalensiyasini so'z yordamida ifodalang va rostlik qiymatini toping. A: «9 - tub son», B: «17 - toq son», C: «18 soni 3 ga bo'linadi», D: «24tub son» sodda mulohazalar berilgan bo'lsa, quyidagi murakkab mulohazalami so'z yordamida ifodalang va ulaming rostlik qiymatini toping. A∨B; b) A∧B; d) A∨A; e) A⇒B ; f) C⇔D; g) A∧C⟹D; h) A∧D⟹C ; i) A∨D; j) (A∧B∧C)∨D. A: «7 soni 56 ning bo'luvchisi», B: «4 soni toq son», C: «13 soni tub son» mulohazalari berilgan bo'lsa, a) A∨B∨C; b) A∧B∧C; d) (A∨B)∧C;)e)(A∧B)∨C ; 0 (∨)∧(∨) lar uchun rostlik jadvalini tuzing. A: «7 12», B = «Romb - toprtburchak», C- «2 - tub son» mulohazalari berilgan bo'lsa, larni isbotlang. I-variant Quyidagi tavtologiyalarning rostligini rostlik jadvali orqali isbotlang. «Modus Ponens»: (p ˄ (p → q)) → q; «Modus Tollens»: (p → q) ˄ ¬ q) → ¬ p; ((p → q) ˄ (q → r)) → (p → r); ...