“构造一个相反的二难推理”的方法。