Privedimas iki absurdo: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
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
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.
|