集合 　From：エイ　情報１年 06/07/17(Mon) 16:06:05 No. 31182 / 39 [RES]
(A⊃B,A⊃C)⇔(A⊃B∪C)　　A∪B=A∩CかつA∩B=A∩CならばB=C
の証明のやり方を教えてください。お願いします。

Re1 : 集合 　Name：のぼりん 06/07/17(Mon) 16:33:38 No. 31189 / 28
A⊇B ∧ A⊇C ならば、A=A∪A⊇B∪C です。
逆に、A⊇B∪C ならば、A⊇B∪C⊇B かつ A⊇B∪C⊇C です。
【反例】 A=B={0}、C={0,1} とします。
A∪B={0}=A∩C かつ A∩B={0}=A∩C ですが、B≠C です。

Re2 : 集合 　Name：エイ　情報１年 06/07/17(Mon) 17:09:42 No. 31193 / 39
⊇を使わない方法ってありますか？

Re3 : 集合 　Name：のぼりん 06/07/17(Mon) 18:04:36 No. 31200 / 28
なぜそのような不自然な制約を与えるのですか？

Re4 : 集合 　Name：エイ　情報１年 06/07/17(Mon) 21:36:32 No. 31207 / 39
⊇はまだ習っていないんです。
--------------------------------------------------------------------------------------
＃Re2は、記号の意味や証明が分からないものにとっては、自然な質問です。
＃Re3は、自分の回答を相手が理解しなかったことに対する苛立ち、と見えます。
＃Re4は、⊇はどんな記号ですか、と聞けば良かったのかも。
＃質問者も大変だな、感情的な回答者に当たってしまうと。