対偶の導入