离散数学证明题 假设:(A∩C)≤(B∩C) (A∩C补集)≤(B∩C补集) 证明 A≤B

问题描述:

离散数学证明题 假设:(A∩C)≤(B∩C) (A∩C补集)≤(B∩C补集) 证明 A≤B

由(A∩C)≤(B∩C)和(A∩C补集)≤(B∩C补集)得
(A∩C)∪(A∩C补集)≤(B∩C)∪(B∩C补集)
A∩(C∪C补集)≤B∩(C∪C补集)
A∩E≤B∩E
故A≤B