全称量词命题和存在量词命题的否定