简单的逻辑联结词、全称量