Vastuväiteline tõestus

Allikas: Vikipeedia
(Ümber suunatud leheküljelt Absurdsusele taandamine)
Mine navigeerimisribale Mine otsikasti

Vastuväiteline tõestus ehk absurdsusele taandamine ehk absurdile taandamine (ladina reductio ad absurdum) on kaudse tõestamise meetod, mis seisneb järgnevas: mingi väite tõestamiseks oletatakse, et väide on väär, ning tehakse sellest oletusest järeldusi. Tõestus on edukas, kui jõuame vastuoluni, mis näitab, et meie vastuväiteline oletus ei saa olla tõene.

Vaata ka[muuda | muuda lähteteksti]