高中数学——全称量词与存在量词