Matematik mantiqiy amallar

Matematik mantiqiy amallar Reja : 1. Mulohazalar. 2. Matematik mantiq elementlari Biz xat, insho yozayotganimizda, yig'ilishlarda so'zlashayotganimizda o'z mulohazalarimizni so'zlar yordamida izohlaymiz. Mulohazalari,iz gaplar to'plami bilan izohlanadi. 1. Toshkent -O'zbekiston Respublikasining poytaxti. 2. Amudaryo Orol dengiziga quyiladi. 3. Barcha odamlar mashinalarga ega. 4. Natural sonlar to'plami chekli. 5. Qushlar - bolalar do'sti. 6.Bosh to'plam elementga ega. Bu barcha gaplar mazmun bo'yicha bir xil . Lekin ularda bir umumiylik bor. Bu umumiylik gaplarning barchasi chin (to'g'ri) yoki yolg'on (noto'g'ri), yoki ba'zilari chin, ba'zilari yo lg'on bo'lishi mumkin. Masalan ; keltirilgan gaplardan 1,2 va 5-chin, 3,4 6 gaplar yolg'on. Mulohaza deganda , odatda uning chinligi yoki yolg'onligi haqida ayni vaqtda gapirish mumkin bo'lgan da'vo tushuniladi. Mulohaza chin yoki yolg'on bo'ladi. U bir vaqatda ham chin, ham yolg'on bo'la olmaydi. Mulohazaning chinligi yoki yolg'onligi uning chinlik qiymatini bildiraDI. Biz chinlikni r harfi, yolg'onni esa e harfi bilan belgilaymiz. Mulohazalarni belgilash uchun A,B,C,D,X,Y,Z, harflardan foydalanamiz. Mulohazalar sodda va murakkab bo'ladi. Agar mulohazani boshqa mulohazalarga tarqatish imkoniyati bo'lmasa, bunday mulohazalar sodda mulohaza deyiladi. Agar mulohazalarni boshqa mulohazalarga tarqatish imkoniyati bo'lsa, bunday mulohaza murakkab mulohaza deyiladi. Soda mulohazalardan foydalanib, murakkab mulohazalar tuzishda «va », « yoki », « emas », »agar, u holda » va hokazo so'zlardan foydalanamiz. Bu so'zlar har xil mulohazalarni o'zaro bog'lab, yangi murakkab mulohazalar tuzish imkonini beradi. Masalan, « 5 soni 15 ning bo'luvchisi » va « 5-tub son » degan mulohazalar berilgan bo'lsa, biz «5 tub son va 15 ning bo'luvchisi » degan yangi murakkab mulohazani tuzishimiz mumkin. « Berilgan to'rtburchak romb yoki kvadrat » degan mulohazani « yoki » bog'lovchisi yordamida « berilgan to'rtburchak - romb » yoki « berilgan to'rtburchak - kvadrat » degan sodda mulohazalarga yoyish mumkin. Matematikada biz mulohazalarni bog'lash uchun , ≥, 2,72 bo'ladi. Tayanch iboralar: To'plam, haqiqiy, ptedikat, mavjudlik kvantori, umumiylik kvantori Nazorat savollari Predikat bu nima? Umumiy kavantori qanday belgilanadi ? Mavjudlik kavantori va misollar keltiring? Foydalanilgan adabiyotlar 1.A.Meliqulov, P. Qurbonov « Matematika » I qism 2. A.U.Abduhamidov, H.A.Nasimov «Algebra va matematik analiz asoslari » I qism ...