teskaridan faraz qilish orqali isbotlash usuli).
Teoremaning xulosasidagi nomalumlarni topish unga zid bo‘lgan jumlani inkor qilish orqali amalga oshirilgan bo‘lsa, uni bilvosita isbotlash usuli deyiladi.
Yuqoridagi ta’rifdan ko‘rinadiki, isbotlashning bilvosita usulida biz oldin teorema tasdiqlagan fikrga qarama-qarshi fikrni to‘g‘ri deb faraz qilamiz. Shundan keyin aksiomalar va oldin isbotlangan teoremalarga asoslanib mulohazalar yuritish yo`li bilan teorema shartiga zid keladigan yoki biror aksiomaga yoki ilgari isbotlangan biror teoremaga zid keladigan
xulosaga kelamiz. Shunga ko‘ra farazimiz noto‘g‘ri bo‘ladi. Natijada teoremadagi yoki berilgan masaladagi da’vo to‘g‘ri degan xulosaga kelamiz.
Do'stlaringiz bilan baham: |
