是不是所有命题的否定都需要把存在着换成任意的