Teorema

Teorema (Yun. theoreo — qaramayman, tekshiraman) — mat.da aksiomalar asosida qat’iy mantiqiy mushohada bilan isbotlanadigan tasdiq. Mac, geometriyada Pifagor teoremasi, algebrada Viet teoremasi. Odatda, «A bo’lsa, V bo’ladi» (qisqacha lq>5) ko’rinishga (lekin shart emas) ega. Bunda A tasdiq T.ning sharti, V tasdiq esa xulosasi deyiladi. Vq$A tasdik, aq>V ga teskari T. deb ataladi. U har doim to’g’ri bo’lavermaydi — alohida isbot talab etiladi. Agar to’g’ri T. ham, unga teskari teorema ham isbotlansa, A tasdik. V uchun zaruriy va etarli shart deb ataladi hamda A<±>V ko’rinishda yoziladi. T.lar matematik tushunchalarni o’zaro boglaydi va shu jihatdan juda chuqursayozligi, kengtorligi, tatbiqi boryo’kligi bilan baholanadi.