高三单元试题之一:集合和简易逻辑