שינויים
/* פתרון */
====פתרון====
דרך גרירות לוגיות:
<math>x\in A\cap (B/C)\iff (x\in A) \and [(x\in B) \and (x\notin C)]\iff [(x\in A) \and (x\in B) \and (x\notin C)] \or [(x\in A) \and (x\in B) \and (x\notin A)] </math>
וזה בדיוק מה שרצינו.
דרך הכלה דו כיוונית:
(<math>subseteq</math>) נניח <math>x\in A\cap(B\slash C)</math> אזי
<math>x\in A \land x\in B \land x\not\in C \Rightarrow</math>
<math>x\in A\cap B \land x\not\in A\capC \Rightarrow</math>
<math>x\in (A\cap B) \slash (A\cap C)</math>
(<math>supseteq</math>) נניח <math>x\in (A\cap B) \slash (A\cap C)</math> אזי
<math>x\in A\cap B \land x\not\in A\capC \Rightarrow</math>
<math>x\in A \land x\in B \land x\not\in C \Rightarrow</math>
(כי אם <math>x\in C</math> אזי <math>\in A\cap C</math> סתירה)
<math>x\in A\cap(B\slash C)</math>
===תרגיל===