Privedimas iki absurdo: Skirtumas tarp puslapio versijų

Ištrintas turinys Pridėtas turinys
Grybukas (aptarimas | indėlis)
Grybukas (aptarimas | indėlis)
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ą arba teisingumą, kai tiesiogiai jo klaidingumoto 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> arba padaroma prielaida, kad teiginys yra klaidingas, o išvestinė argumentuota išvada yra absurdiška arba neįmanoma<ref name="IEP">{{cite web |url=http://www.utm.edu/research/iep/r/reductio.htm |work = The Internet Encyclopedia of Philosophy |title = Reductio ad absurdum |author = Nicholas Rescher |accessdate = 21 July 2009}}</ref>.
 
Matematinių teoremų įrodymuose privedimas iki absurdo naudojamas kaip [[įrodymas prieštaravimu]] ({{en|Proof by contradiction}}), 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.