函数中,存在性命题是不是可以转化为方程有解,还有任意性的呢