1.5.1 全称量词与存在量词