全称量词存在量词 含有一个量词的命题的否定