反证法

reduction to absurdity[计] proof by contradiction

fǎn zhèng fǎ ㄈㄢˇ ㄓㄥˋ ㄈㄚˇ