teskaridan faraz qilish orqali isbotlash usuli).
Teoremaning xulosasidagi nо‘malumlarni topish unga zid bо‘lgan
jumlani
inkor qilish orqali amalga oshirilgan bо‘lsa, uni
bilvosita isbotlash usuli deyiladi.
Yuqoridagi ta’rifdan kо‘rinadiki, isbotlashning bilvosita usulida biz oldin teorema
tasdiqlagan fikrga qarama-qarshi fikrni tо‘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 kо‘ra farazimiz notо‘g‘ri
bо‘ladi. Natijada teoremadagi yoki berilgan masaladagi da’vo tо‘g‘ri
degan
xulosaga kelamiz.
