集合和命题(专项练习题)