Privedimas iki absurdo: Skirtumas tarp puslapio versijų

'''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''

 

Teiginius, kuriuose naudojami universalūs kriterijai, kaip "visada", "niekada", "visi", "niekas" ir pan., dažnai galima privesti iki absurdo.