Masaliq kasblarni rivojlanish instituti

TEOREMA TURLARI
Masalan, "agar to'rtburchak to'rtburchak bo'lsa, uning diagonallari teng" teoremasini ko'rib chiqaylik. Keling, berilgan jumlaga teskari jumla quraylik : "agar to'rtburchakning diagonallari teng bo'lsa, to'rtburchak to'rtburchakdir." Bu noto'g'ri bayonot bo'lib, uni tekshirish oson (teng yon tomonli trapesiyada diagonallar teng, ammo trapezoid to'rtburchak emas).
Teoremani ko'rib chiqaylik "Teng burchakli uchburchakda, poydevordagi burchaklar tengdir". Unga teskari jumla quyidagicha: "agar uchburchakda poydevordagi burchaklar teng bo'lsa, bu uchburchak teng yonlidir". Bu haqiqiy taklif va shuning uchun teorema. U teskari teorema deb ataladi.
Shaklning har qanday teoremasi uchun A B (agar A bo'lsa , B bo'lsa) biz A B jumlasini shakllantirishimiz mumkin  ( A bo'lmasa , B emas ), buning aksi deb ataladi . Ammo bu taklif har doim ham teorema emas. Masalan, “to‘rtburchakdagi diagonallar teng bo‘lsa, to‘rtburchak to‘rtburchak bo‘ladi” degan teoremaga qarama-qarshi bo‘lgan gap yolg‘on bo‘ladi: “agar to‘rtburchak to‘rtburchak bo‘lmasa, undagi diagonallar teng bo‘lmaydi”.
Berilganga qarama-qarshi bo'lgan mulohazalar to'g'ri bo'lsa , u berilganga qarama-qarshi teorema deyiladi .
Shaklning har qanday teoremasi uchun A B (agar A bo'lsa, B ) biz B A jumlasini shakllantirishimiz mumkin  (agar B bo'lmasa , unda A emas) , bu qarama-qarshi tomonga qarama-qarshi deb ataladi . Masalan, “to‘rtburchakdagi diagonallar teng bo‘lsa, to‘rtburchak to‘rtburchakdir” teoremasi uchun qarama-qarshi gap bo‘ladi: “agar to‘rtburchakdagi diagonallar teng bo‘lmasa, u to‘rtburchak emas”. Ma'lumki, bu to'g'ri taklif va shuning uchun bu taklifga teskari teoremadir.


teskarisiga teskari taklifni tuzmasak , u har doim teorema bo'lib qoladi, chunki quyidagi ekvivalentlik mavjud: ( A B) ( A da).
qarama-qarshilik qonuni deb ataladi .
Teoremalar A B va B A o'zaro teskari , A B esa o'zaro qarama - qarshidir .