展开 全称量词命题是真命题吗