全称量词的否定