Vastuväiteline tõestus
Vastuväiteline tõestus e. absurdsusele taandamine (ld. reductio ad absurdum) on kaudse tõestamise meetod, mis seisneb järgnevas: mingi väite tõestamiseks oletatakse, et väide ei pea paika ning tehakse sellest oletusest järeldusi. Tõestus on edukas, kui jõuame vastuoluni, mis näitab, et meie vastuväiteline oletus ei saa paika pidada.
Vaata: Loogika
