La locución latina correcta y completa es "reductio ad absurdum", sin tilde pues en latín no la hay. Quiere decir "por reducción al absurdo" y es un método matemático para demostrar si una proposición es válida o no. Se llama también Prueba de Contradicción.
"En la locución reductio ad absurdum se genera una contradicción."
