שינויים

#א. אם <math>A \not\subseteq B \cap C</math> אזי <math>(A/B)\cap(A/C)\neq \phi</math>#ב. אם <math>A\subseteq B</math> אזי <math>A\cup(B/A)=B</math>#ג. אם <math>A\cap B=\phi</math> אזי <math>P(A)\cap P(B) = \{\phi\}</math>  ====פתרון====א. '''הפרכה''': <math>A=\{1,2\},B=\{1\},C=\{2\}</math>. אזי ברור שA איננה מוכלת בחיתוך של B וC אבל <math>(A/B)\cap(A/C)=\{2\}\cap\{1\}=\phi</math>  ב. נתון שלכל <math>a\in A</math> מתקיים <math>a \in B</math>. אזי <math>x\in [A\cup(B/A)] \iff (x\in A) \or [(x\in B)\and (x\notin A)] \iff [(x\in A) \or (x\in B)] \and [(x \in A)\or (x\notin A)] </math>  כעת, הצד הימני הוא טאוטולוגיה וניתן להסיר אותו. מכיוון שנתון <math>(x\in A)\rightarrow (x\in B)</math> ניתן להסיק בקלות ש<math>(x\in A)\or (x\in B) \iff (x\in B)</math> כפי שרצינו.