>>298
x ∈ ¬A ∩X
⇒ x∈X
⇒ x∈A∪X = A∪Y

また
x ∈ ¬A ∩X ⇒ x ∈ ¬A
なので
x ∈ ¬A ∩X
⇒ x ∈ ¬A ∩(A∪Y) = Y

x ∈ A∩X ⇒ x ∈ A ∩ Y ⊂ Y

したがって、
x ∈ X = (A∪¬A) ∩ X = (A∩X) ∪(¬A∩X) ⊂ Y