ad absúrdum 9
The Latin phrase correct and complete is "reductio ad absurdum", without the tilde as in latin there. It means "by reduction to the absurd" and is a mathematical method to show whether a proposition is valid or not. Also called proof of contradiction.