命题逻辑 集合 与 子集

问题描述:

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

A∩C⊆A⊆B,A∩C⊆C⊆D 所以A∩C⊆B且A∩C⊆D,因此A∩C ⊆ B∩D
因为A⊆B,所以 A∪C⊆B∪C
因为C⊆D,所以B∪C⊆ B∪D
故A∪C ⊆ B∪D