10/05/11 20:47:04
>>633
> ⇒x∈A∩BならばX∈A⊂A∪BかつX∈Cであり, ←※
正確に書き写せるのも力の内だよ。
⇒x∈A∩CならばX∈A⊂A∪BかつX∈Cであり,
x∈A∩Cならばx∈Aかつx∈C。ここで A⊂A∪Bはつねに成り立つ包含関係ゆえ
x∈Aかつx∈C ならば x∈Ａ∪Bかつx∈C
10/05/11 20:47:04
>>633
> ⇒x∈A∩BならばX∈A⊂A∪BかつX∈Cであり, ←※
正確に書き写せるのも力の内だよ。
⇒x∈A∩CならばX∈A⊂A∪BかつX∈Cであり,
x∈A∩Cならばx∈Aかつx∈C。ここで A⊂A∪Bはつねに成り立つ包含関係ゆえ
x∈Aかつx∈C ならば x∈Ａ∪Bかつx∈C