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