Vastuväiteline tõestus

Allikas: Vikipeedia

Vastuväiteline tõestus ehk absurdsusele 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 | redigeeri lähteteksti]