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