恒成立与存在性问题的解题策略