To'g'ridan-to'g'ri va bilvosita isbot nima?
To'g'ridan-to'g'ri va bilvosita isbot nima?

Video: To'g'ridan-to'g'ri va bilvosita isbot nima?

Video: To'g'ridan-to'g'ri va bilvosita isbot nima?
Video: Sardor Kaba Atrofidagilar Bilan To'g'ridan To'g'ri Efir QILDI. 2024, Qadam tashlamoq
Anonim

Ma'lum bo'lishicha, sizning argumentingiz a ga misoldir to'g'ridan-to'g'ri dalil , va Reychelning argumenti bir misoldir bilvosita dalil . An bilvosita dalil ga qarama-qarshilikka tayanadi isbotlash berilgan gipotezani to'g'ri emas deb hisoblab, so'ngra qarama-qarshilikka duch kelib, faraz haqiqat bo'lishi kerakligini isbotlaydi.

Buni hisobga olsak, to'g'ridan-to'g'ri va bilvosita isbot o'rtasidagi farq nima?

Dalillar to'g'ridan-to'g'ri yoki amalga oshirilishi mumkin bilvosita . Asosiy orasidagi farq ikki usul - bu bevosita puflar isbotlanishi kerak bo'lgan xulosaning haqiqat ekanligini ko'rsatishni talab qiladi bilvosita dalillar barcha muqobillar noto'g'ri ekanligini ko'rsatish uchun etarli.

Bundan tashqari, bilvosita dalilning teskarisi nima? An bilvosita dalil , a deb ham ataladi dalil qarama-qarshilik - bu nazariya asosli ekanligini isbotlashning aylanma usuli. Biz foydalanganda bilvosita dalil usuli, deb taxmin qilamiz qarama-qarshi bizning nazariyamiz to'g'ri bo'ladi.

Xo'sh, bilvosita isbotlash usuli nima?

An bilvosita dalil bilan bir xil isbotlash qarama-qarshilik bilan, ya'ni to'g'ri gapning inkori ham to'g'ri. Bilvosita dalil ko'pincha berilgan geometrik bayonot to'g'ri bo'lmaganda ishlatiladi. ni boshlang dalil bayonot to'g'ri deb faraz qilish orqali.

Bilvosita dalilning ikki turi qanday?

Bilvosita Deduktiv Dalillar . Lar bor bilvosita dalillarning ikki turi : qarama-qarshilik va qarama-qarshilik. Agar biz harakat qilsak isbotlash bu P ==> Q keyin an bilvosita dalil not-Q taklifi bilan boshlanadi.

Tavsiya: