転換法

てんかん ほう ―くわん はふ 0 【転換法 】一群の定理があって ，それらの仮定は起こりうるすべての場合を尽くし ，その結論がすべて独立であるとき ，これらの定理の逆はすべて真である ，ということを使う証明法 。