请问,全称命题的否定是存在性命题,存在性命题的否定是全程命题.