命题逻辑 集合 与 子集证明如果A⊆B,C⊆D,那么A∩C ⊆ B∩D 且 A∪C ⊆ B∪D题目规定不能画图和列表证明