简单的逻辑联结词全称量词与存在量词