存在x属于R,使sinx=根号5/2是真命题吗