专题一 集合和简易逻辑