Если X не принадлежит к объединению A и B, то он не принадлежит ни к A, ни к B, так как если бы он принадлежал хотя бы к одному из множеств, он принадлежал бы к их объединению, как видно строчкой выше.
и
.
Пересечение множеств содержит все элементы, которые есть в обоих множествах. Значит, чтобы не принадлежать пересечению, достаточно не принадлежать хотя бы одному множеству.
или ![x \notin B x \notin B](https://tex.z-dn.net/?f=+x+%5Cnotin+B+)
![x \notin A \backslash B \implies \neg (x \in A \backslash B) \implies \\
\implies \neg ((x \in A) \land (x \notin B)) x \notin A \backslash B \implies \neg (x \in A \backslash B) \implies \\
\implies \neg ((x \in A) \land (x \notin B))](https://tex.z-dn.net/?f=+x+%5Cnotin+A+%5Cbackslash+B+%5Cimplies+%5Cneg+%28x+%5Cin+A+%5Cbackslash+B%29+%5Cimplies+%5C%5C%0A%5Cimplies+%5Cneg+%28%28x+%5Cin+A%29+%5Cland+%28x+%5Cnotin+B%29%29)
По закону де Моргана:
![x \notin A \lor x \in B x \notin A \lor x \in B](https://tex.z-dn.net/?f=+x+%5Cnotin+A+%5Clor+x+%5Cin+B+)