背理法の一種に対偶法があると理解するのが一般的だな。