知识点——集合与常用逻辑用语