Vastuväiteline tõestus

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
Absurdsus

Loogika
Matemaatika alused