关于集合、命题与逻辑的一道高中数学题