第1章集合与常用逻辑用语1.5全称量词与存在量词