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 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 prieštaravimuper prieštarą]] ({{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.
 
''Pavyzdys:''