18/02/17 12:28:36.55 APQdN0L3.net
この解き方であっていますでしょうか？
(問題）
「A∪{B∩C}={A∪B}∩{A∪C}」を示せ
x∈A∪{B∩C}について
・x∈Aのときx∈A∪Bかつx∈A∪Cとなるのでx∈{A∪B}∩{A∪C}
・x∈{B∩C}のときも、x∈Bかつx∈Cからx∈A∪Bかつx∈A∪Cとなるのでx∈{A∪B}∩{A∪C}
よってA∪{B∩C}⊂{A∪B}∩{A∪C}
x∈{A∪B}∩{A∪C}についてx∈Aのときは自明なので、
・x∈Bのときにx∈{A∪B}∩{A∪C}となるにはx∈Cでなければならないのでx∈{B∩C}よりx∈A∪{B∩C}
よってA∪{B∩C}⊃{A∪B}∩{A∪C}
したがってA∪{B∩C}={A∪B}∩{A∪C}