x\in A\setminus B \Rightarrow x\in A \wedge x\notin B \Rightarrow x \in A \cup B \wedge x \notin A \cap B \Rightarrow x \in (A \cup B) \setminus (A \cap B)