处理有关恒成立问题基本方法