TEOREMA

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