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]], [[Teiginių logika#Įrodymai|netiesioginio įrodymo metodas]], siekiant atskleisti pasirinkto teiginio klaidingumą arba teisingumą, kai tiesiogiai to 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 |access-date=2020-02-11}}</ref>.
Matematinių teoremų įrodymuose privedimas iki absurdo naudojamas kaip [[įrodymas per prieštarą]] ({{en|Proof by contradiction}}), kai išvestiniai argumentai priveda prie prieštaros, o prieštara negali būti tiesa. [[Teiginių_logika#Prieštaravimo_dėsnis|Logikos prieštaravimo dėsnis]] neleidžia suderinti teiginio ir to paties teiginio neiginio, t.y., teiginys <math>p</math> ir jo neigimas <math>\neg p</math> ("ne
''Pavyzdys:''
| |||