対偶が背理法の中に含まれるんじゃないの?

対偶が背理法の手段じゃないの?