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