Privedimas iki absurdo: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
Nėra keitimo santraukos |
Nėra keitimo santraukos |
||
Eilutė 1:
'''Privedimas iki absurdo'''' ({{la|reductio ad absurdum, argumentum ad absurdum}}) yra [[logika|loginis]] [[Argumentas (logika)|argumentavimo]], netiesioginio įrodymo metodas, siekiant atskleisti pasirinkto teiginio klaidingumą, kai tiesiogiai jo klaidingumo patikrinti negalima.
Pasirinktas teiginys neatmetamas, tačiau parodomas absurdas, prie kurio veda logiškai argumentuotos išvados, pagrįstos prielaida, kad teiginys yra teisingas.<ref>{{Cite web|url=https://www.merriam-webster.com/dictionary/reductio+ad+absurdum|title=Definition of REDUCTIO AD ABSURDUM|website=www.merriam-webster.com|language=en|access-date=2020-02-11}}</ref>
Matematinių teoremų įrodymuose privedimas iki absurdo naudojamas [[Įrodymas prieštaravimu|įrodymu prieštaravimu]], kai išvestiniai argumentai priveda prie prieštaros, o prieštara negali būti tiesa. Tai yra, teiginys ''Q'' ir jo neigimas <math>\lnot</math>''Q'' ("ne-Q") vienu metu negali būti tiesa.
''Pavyzdys''
Teiginys, kad skaičius N yra mažiausias [[
Teiginius, kuriuose naudojami universalūs kriterijai, kaip "visada", "niekada", "visi", "niekas" ir pan., dažnai galima privesti iki absurdo.
|