Aufgabe und Ansatz:
Beweise: \( (A \cap B) \backslash C=A \cap(B \backslash C) \)
a) \( (A \cap B) \backslash C \Leftrightarrow x \in C \wedge \neg(x \in A \cap B) \)
\( x \in C \wedge \neg(x \in A \wedge x \in B) \)
\( x \in C \wedge(\neg x \in A \vee \neg x \in B)^{\text {ade-Margan }}: \eta(A \cap A) \lambda A \cap A \cup \neg B \)
\( \left. \left(x \in C_{\wedge} \right. \urcorner x \in A \right) r \left(x \in C_{\wedge} \backslash x \in B \right) \)
\( \vee(x \in C \backslash B) \)
Problem:
Ich hadere immer bei Beweisen. Wie geht es weiter? Sind meine Schritte richtig bis jetzt?
