在运用反证法时，为了确立原论题真，就必须借助于（）这一逻辑思维规律。