含有一个量词的否定