Privedimas iki absurdo: Skirtumas tarp puslapio versijų

Ištrintas turinys Pridėtas turinys
Grybukas (aptarimas | indėlis)
Nėra keitimo santraukos
Grybukas (aptarimas | indėlis)
Nėra keitimo santraukos
Eilutė 3:
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 kaip [[Įrodymas prieštaravimu|įrodymuį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.
 
''Pavyzdys:''