שינויים
'''שימו לב''' המסקנה שהגענו אליה היא בדיוק שלילת הנתון.
==הוכחת שיוויון בין קבוצות==
ראשית, שימו לב שהקבוצות בתרגיל כזה יכולות להופיע באופן עקיף ולא ישיר. למשל, במשוואה <math>A\cup (B\backslash C) = P(D)</math> מופיעות שתי קבוצות המיוצגות על ידי ארבע הקבוצות A,B,C,D.
על מנת להוכיח שיוון בין שתי קבוצות אנו יכולים לפעול בשתי דרכים נפוצות.
שיטה I: להוכיח שלכל איבר x, מתקיים ש x שייך לקבוצה הימנית אם ורק אם x שייך לקבוצה השמאלית.
שיטה II: '''הכלה דו כיוונית'''. להוכיח שהקבוצה הימנית מוכלת בשמאלית וגם הקבוצה השמאלית מוכלת בימנית.
