Suppose that \( p \in \left ( A \cap X \right ) \backslash B \) therefore \( p \in A \), \( p \in X \) but \( p \notin B \), we can see that \( p \in \left ( A \cap X \right ) \) and since \(p \notin B \), then \( p \notin \left (B \cap X \right ) \), therefore \( p \in \left ( A \cap X \right ) \backslash \left ( B \cap X \right ) \)
Now suppose that \( p \in \left ( A \cap X \right ) \backslash \left ( B \cap X \right ) \), so that \( p \in A \cap X \) and \(p \notin B \cap X \), from this we deduct that \( p \in X \), so to avoid contradiction, we must have \( p \notin B \), since we also know \( p \in A \), we can say that \( p \in \left ( A \cap X \right ) \setminus B \)
Suppose that \( p \in \left ( A \backslash B \right ) \cap X \) so \( p \in A \), \( p \notin B \) and \( p \in X \), this means that \( p \in A \cap X \) and \( p \notin B \), this shows that \( p \in \left ( A \cap X \right ) \backslash B \) as needed
Now suppose that \( p \in \left ( A \cap X \right ) \backslash B \) so \( p \in A \), \( p \in X \) but \( p \notin B \), recombining this information we can see that \( p \in \left ( A \backslash B \right ) \cap X \), as needed.
We know that \( x \in A \backslash \left ( B \cap C \right ) \) is true iff \( x \in A \) and \( x \notin \left ( B \cap C \right ) \), equivalent to \( x \notin B \) or \( x \notin C \), since \( x \in A \), we can biconditionally re-write this as \( x \in A \backslash B \) or \( x \in A \backslash C \) iff \( x \in \left ( A \backslash B \right ) \cup \left ( A \backslash C \right ) \)
Since all connectives in the above proof are bi-conditionals, then we know that \( A \backslash \left ( B \cap C \right ) = \left ( A \backslash B \right ) \cup \left ( A \backslash C \right ) \)
Suppose that \( x \in A \backslash \left ( B \backslash C \right ) \) which is true iff \( x \in A \) and \( x \notin \left ( B \backslash C \right ) \) which means that it's not true that \( \left ( x \in B \quad\text{and}\quad x \notin C \right ) \) so that \( x \notin B \) or \( x \in C \), since \( x \in A \) and we know that \( A \subseteq B \) then \( x \in B \), which forcs \( x \in C \) to avoid a contradiction, therefore \( \)
Suppose that \( x \in A \backslash B \cap C \), therefore \( x \in A \), \( x \notin B \) and \( x \in C \), thus we can see that \( x \notin B \backslash C \) thus \( x \in A \backslash \left ( B \backslash C \right ) \)
\( x \in A \backslash \left ( B \backslash C \right ) \) iff \( x \in A \) and \( x \notin \left ( B \backslash C \right ) \) equivalent to the following statement not being true: \( \left ( x \in B \land x \notin C \right ) \) which is \( x \notin B \) or \( x \in C \), therefore \( x \in A \cap C \) or \( x \in A \setminus B \) so that \( x \in \left ( A \cap C \right ) \cup \left ( A \setminus B \right) \)
The above chain of steps can be traversed forwards or backwards since each connective is an iff, therefore the proof is complete
Suppose that \( x \in A \backslash \left ( A \backslash B \right ) \) which is true iff \( x \in A \) and \( x \notin \left ( A \backslash B \right ) \) which means that it's not true that \( \left ( x \in A l \quad\text{and}\quad x \notin B \right ) \) we already know that \( x \in A \) holds, so we must have that \( x \notin B \) to be false, which means that \( x \in B \) so that \( x \in A \cap B \)
Suppose that \( x \in A \cap B \), since \( x \in B \), then it's not true that \( x \notin B \), therefore \( x \notin \left ( A \backslash B \right ) \) since \( x \in A \), this shows that \( x \in A \backslash \left ( A \backslash B \right ) \)
Note that, \( p \in X \backslash \left ( \bigcup_{A \in M} A \right ) \), if and only if \( p \in X \) and \( x \notin \bigcup_{A \in M} A \), which is equivalent to: for all \( A \in M \) \( p \notin A \), which is the same as \( p \in \left ( X \backslash A \right ) \) for each \( A \in M \), so by definition \( p \in \bigcap_{A \in M} \left ( X \backslash A \right ) \). Since each connective in the previous paragraph was an iff, then this implies the two sets are equal
For the second proof, we'll follow a similar structure to the first. Note that, \( p \in X \backslash \left ( \bigcap_{A \in M} A \right ) \), if and only if \( p \in X \) and \( x \notin \bigcap_{A \in M} A \), which is equivalent to: there is some \( A \in M \) \( p \notin A \), which is the same as \( p \in \left ( X \backslash A \right ) \) for some \( A \in M \), so by definition \( p \in \bigcup_{A \in M} \left ( X \backslash A \right ) \). Since each connective in the previous paragraph was an iff, then this implies the two sets are equal