恒成立问题和存在性问题