全称量词与存在量词及含有一个量词的命题的否定 ppt课件