逻辑学定义与划分有关的多项选择题