展开 全称量词和全称量词命题定义