反证法
In another part, apagoge is used in this paper to tell us that not all the stability conditions deduced by the heuristic method are the necessary computational stability conditions, which should be given attention in their applications. 在文章的另一部分，反证法的运用表明了从启示性方法推导来的稳定性条件并非全都是必要条件，在应用中应引起注意。
