Matematik isbotlash usullari

Taqdimot

Fan nomi: Boshlang’ich matematika kurs nazariyasi Mavzu: Mantiqiy kelib chiqishlik va tengkuchlilik munosabatlari. Zaruriy va yetarli shartlar,Teoremaning tuzilishi va turlari,matematik isbotlash usullari Tayyorladi: boshlang’ich ta’lim yo’nalishi 19/4-guruh talabasi Ravshanova Filura

Mantiqiy kelib chiqishlilik va tengkuchlilik munosabatlari. ma’nosiga qarab tabiiy tildagi soda mulohazalarni harflar bilan erkin belgilab inkor,konyuksiya va dizyunksiya kabi mantiqiy bog’lovchilar yordamida murakkabroq mulohazalarning rost-yolg’onligiga e’tibor bermasdan simvolik (ramziy) ko’rinishlarini tuzaylik.

Tabiiy tildagi mulohaza simvolik shakli inkor; 1)salim uyda emas. --.. S 2)mablag’ osonlikcha topilmaydi. --.. M konyuksiya; 1)Bobur va a’lo DO’stdirlar. b^A Dizyunksiya; 1)rano yo metro bilan,yo avtobus bn keladi M^A ikkita mulohazaning rostlik jadvallaridagi mos ustunlar bir hil bo’lsa bu mulohazalar mantiqiy tengkuchli deyiladi.

Teorema. Teorema (yun.theoreo-qaramayman,tekshiraman)– mat.da aksiomalaoramasir asosida qat’iy mantiqiy mantiqiy mushohada bilan isbotlanadadigan tasdiq. Mac.geometriyada Pifagor teoremasi,algebrada Viyet teoremasi . Odatda ,, A bo’lsa,V bo’ladi’’ (qisqacha LQ>5) ko’rinishiga (lekin shart emas) ega. Bunda A tasdiq Teoremaning sharti, V tasdiq esa xulosasi deyiladi. Vq$A tasdiq,Aq>vga teskari Teorema deb ataladi.U har doim tog’ri bo’lavermaydi-alohida isbot talab etiladi. Agar tog’ri Teorema ham,unga teskari teorema ham isbotlansa,A tasdiq. V uchun zaruriy va yetarli shart deb ataladi hamda A<_+> V ko’rinishida yoziladi.Teoremalar matematik tushunchalarni o’zaro bog’laydi va shu jihatdan juda chuqursayozligi,kengtorligi, tadbiqi bor yo’qligi bilan baholanadi.

Matematik isbotlash usullari