命题逻辑7
例3.18 设A、B、C为任意集合,判断下述命题是否恒真,如果恒真给出证明,否则举出反例,
(1) AUB=AUC ⇒ B=C.
(2) A⊕B=A ⇒ B = Ø
(3) A∩(B-C) = (A∩B) - (A ∩C).
(4)(A ∩ B)U(B-A)=B.
例3.19 设A、B为集合,试确定下列各式成立的充分必要条件.
(1) A-B=B.
(2) A-B=B-A.
(3) A ∩ B=AUB.
相关阅读
评论:
↓ 广告开始-头部带绿为生活 ↓
↑ 广告结束-尾部支持多点击 ↑