שינויים
/* תרגיל */
* <math>(\cap _{i\in I} A_i)^c = \cup _{i\in I} A_{i}^c </math>
* <math>(\cup _{i\in I} A_i)^c = \cap _{i\in I} A_{i}^c </math>
===תרגיל===
הוכיחו כי <math>A \triangle B = A^c \triangle B^c</math>.
פתרון:
נשתמש בהצגת ההפרש הסימטרי כאיחוד ההפרשים:
<math>x\in A \triangle B \iff (x\in A \land x\notin B)\lor (x\in B \land x\notin A) \iff</math>
<math>(x\notin A^c \land x\in B^c)\lor (x\notin B^c \land x\in A^c)</math> ומחילופיות "וגם" ו"או":
<math>(x\notin B^c \land x\in A^c)\lor (x\notin A^c \land x\in B^c) \iff</math>
<math>(x\in A^c \land x\notin B^c)\lor (x\in B^c \land x\notin A^c) \iff x\in A^c \triangle B^c</math>
===== תרגיל =====