תרגול 2 מדמח קיץ תשעז: הבדלים בין גרסאות בדף

מתוך Math-Wiki
(יצירת דף עם התוכן "===פרדיקטים וכמתים=== בניגוד לאטומים שהם ללא משתנים ה'''פרדיקטים''' הינם פונקציות התלויות במ...")
 
שורה 123: שורה 123:


===תרגיל===
===תרגיל===
הוכח כי <math>(A\cap B)\cup C = (A\cup C)\cap (B\cup C)</math>. במילים: האיברים שהם (גם בA וגם בB) או בC הם בדיוק האיברים ב(A או C) וגם ב(B או C)
נוכיח שההפרש הסימטרי הוא קיבוצי, כלומר: לכל שלש קבוצות <math>A,B,C</math> מתקיים : <math>A\triangle (B\triangle C)=(A\triangle B)\triangle C</math>


====פתרון====
====פתרון====
נראה שקילות בין התנאים של איבר להיות באחת הקבוצות.


<math>x\in (A\cap B)\cup C \iff [x\in (A\cap B)] \or [x\in C] \iff [x\in A \and x\in B] \or [x\in C]</math>
אפשרי ע"י טבלת אמת הנקראת טבלת שכיחויות.
 
כעת, מתוך הטאוטולוגיה <math>(p\and q)\or r \iff (p\or r)\and(q\or r)</math> קל להשיג את השקילות למה שצריך.
(הערה: ניתן להשתכנע בקלות בטאוטולוגיה באופן הבא: אם r=1 אזי נשאר עם הטאוטולוגיה
<math>1\iff 1</math> אם r=0 אזי נשאר עם הטאוטולוגיה
<math>(p\land q)\iff (p)\land (q)</math>)


===תרגיל===
===תרגיל===

גרסה מ־07:30, 9 באוגוסט 2017

פרדיקטים וכמתים

בניגוד לאטומים שהם ללא משתנים הפרדיקטים הינם פונקציות התלויות במשתנים. לדוגמא ניתן להגדיר את הפרדיקט [math]\displaystyle{ S(x) }[/math] להיות x הינו סטודנט באוניברסיטה.

כיוון שאטומים הם ללא משתנים הם יכולים להיות T או F אבל לא שניהם. לעומתם פרדיקטים הם תלויים במשתנים ולכן ערך האמת שלהם יקבע לפי ההצבה במשתנים. למשל הפרדיקט [math]\displaystyle{ S(x,y)=x\lt y }[/math] יהיה נכון במקרה ש [math]\displaystyle{ S(2,3) }[/math] ולא נכון במקרה ש [math]\displaystyle{ S(3,2) }[/math]. כלומר לכל הצבה במשתני הפרדיקטים נקבל פסוק. הערה: משמשים בקשרים גם בפרדיקטים למשל [math]\displaystyle{ S(x,y) }[/math] הפרדיקט המוגדר [math]\displaystyle{ x\gt 0 \land x\lt y }[/math]

בנוסף, ניתן להוסיף כמתים.

הכמת "לכל" [math]\displaystyle{ \forall }[/math] והכמת "קיים" [math]\displaystyle{ \exist }[/math]

תפקיד מרכזי של הכמת הוא להבהיר את כוונת הטענה. למשל הטענה ש "סטונדט הוא יצור חרוץ" יכולה לקבל 2 משמעויות בעזרת הכמתים. או "כל סטודנט הוא יצור חרוץ" או "קיים סטודנט שהוא יצור חרוץ".

הטענה הראשונה טוענת לגבי כלל הסטודנטים (אם רוצים להוכיח כי הטענה נכונה צריך לעבור בין כל הסטודנטים ולוודא שהם חרוצים ואם רוצים להוכיח כי הטענה לא נכונה מספיק למצוא סטודנט אחד שאינו חרוץ).

לעומתה הטענה השניה טוענת שניתן למצוא סטודנט אחד (לפחות) שהוא חרוץ (אם רוצים להוכיח את הטענה צריך למצוא סטודנט שהוא חרוץ ואם רוצים להוכיח כי הטענה לא נכונה צריך לעבור בין כל הסטודנטים ולוודא שהם אינם חרוצים

הצרן: לכל מספר p גדול מ-1: (p ראשוני) אמ"מ (אם הוא מחלק מכפלת מספרים אז הוא מחלק את אחד המספרים).

פתרון: ההצרנה [math]\displaystyle{ \forall p \gt 1 : (P(p)\iff Q(p)) }[/math] כאשר

  • [math]\displaystyle{ P(p) }[/math] הוא הפרדיקט "p" הוא ראשוני.
  • [math]\displaystyle{ Q(p) }[/math] הוא הפרדיקט [math]\displaystyle{ \forall a,b : p|ab \Rightarrow (p|a \lor p|b) }[/math]

הערה: שמות המשתנים אינם חשובים למשל עבור הפרדיק [math]\displaystyle{ S(x,y) }[/math] המוגדר [math]\displaystyle{ x\leq y }[/math] הפסוק [math]\displaystyle{ \forall x\forall y S(x,y) }[/math] הוא זהה לפסוק [math]\displaystyle{ \forall t\forall s S(t,s) }[/math]

הערה: סדר הכמתים כן משתנה (לפעמים) למשל [math]\displaystyle{ \exist x\forall y S(x,y) }[/math] לא שקול לפסוק [math]\displaystyle{ \forall y \exist x S(x,y) }[/math]. דוגמא: הצרן את המשפט "לכל מספר טבעי יש מספר טבעי הגדול ממנו" פתרון: [math]\displaystyle{ \forall n\in\mathbb{N}\,\exists m\in\mathbb{N}:n\lt m }[/math] לעומת זאת [math]\displaystyle{ \exists m\in\mathbb{N}\,\forall n\in\mathbb{N}:n\lt m }[/math] פירושו שקיים מספר טבעי שגדול מכל המספרים הטבעיים.


נשים לב כי בשביל לקבוע אם הפסוק [math]\displaystyle{ \forall x P(x) }[/math] אנחנו צריכים לדעת איזה x ים "חוקיים" (בהנחה שאנחנו יודעים את P).

שלילת פסוקים

מהי השלילה של הפסוק "לכל סיר יש מכסה המתאים לו", או "לכל מאכל, יש מישהו שמכין אותו טעים"?

בעת שלילה של פסוק לוגי, הכמתים 'לכל' ו'קיים' מתחלפים זה עם זה, והשלילה עוברת הלאה. את השלילה על הקשרים ניתן לבצע באמצעות טאוטולוגיות וטבלאות אמת.

תרגיל

כתבו פסוק השקול לפסוק הבא ללא שימוש בקשר השלילה.

[math]\displaystyle{ \lnot (\forall a\in \mathbb{Z} \exists b\in \mathbb{N} (a|b\rightarrow (a\lt b\land a+b\neq 0))) }[/math]

פיתרון:

[math]\displaystyle{ \exists a\in \mathbb{Z} \forall b\in \mathbb{N} (a|b \land (a\geq b \lor a+b=0)) }[/math]

תרגיל

הוכח או הפרך (משתני הפרדיקט נלקחים מהטבעיים):

א. [math]\displaystyle{ (\forall n (P(n) \lor Q(n))) \Rightarrow ((\forall n P(n)) \lor (\forall n Q(n))) }[/math]

ב. [math]\displaystyle{ (\forall n (P(n) \lor Q(n))) \Leftarrow ((\forall n P(n)) \lor (\forall n Q(n))) }[/math]

פיתרון:

א. הפרכה. ניקח את P להיות 1 על הזוגיים ו-0 על אי-זוגיים, ןQ להיפך.אכן כל מספר טבעי הוא זוגי או אי-זוגי, אך זה לא נכון שכל מספר הוא זוגי או שכל מספר הוא אי-זוגי.

ב. הוכחה: יהי [math]\displaystyle{ n }[/math] לפי הנתון מתקיים [math]\displaystyle{ P(n) \lor Q(n) }[/math] כדרוש.


קבוצות

ההגדרה האינטואיטיבית לקבוצה הינה "אוסף של איברים". ההגדרה הזו מובילה לסתירות לוגיות כגון "פרדוקס ראסל". נביט בקבוצה הבאה:

  • X=אוסף כל הקבוצות שאינן שייכות לעצמן

אם X שייכת לקבוצה הזו, אזי היא אינה שייכת לקבוצה. אולם, אם היא אינה שייכת לקבוצה אזי היא כן שייכת לקבוצה.

סתירה אינה מקובלת במחוזות המתמטיקאים, ולכן הגדירו את "תורת הקבוצות האקסיומטית" העוקפת בעייה זו. ניתן לקרוא יותר על נושא זה בקישור לעיל, עבורנו מספיקה ההגדרה האינטואיטיבית.


אם כן, נחזור להגדרתנו הנאיבית; קבוצה הינה אוסף של איברים שונים. בקבוצה אין משמעות לסדר האיברים, ואיבר אינו יכול להופיע פעמיים. דוגמאות ל3 קבוצות:

[math]\displaystyle{ \{1,horse,3\} }[/math], [math]\displaystyle{ \{1,2,3\} }[/math] ו[math]\displaystyle{ \{1,\{2,3\},\{\}\} }[/math]


איבר השייך לקבוצה אנו מסמנים בסימן [math]\displaystyle{ \in }[/math]. למשל [math]\displaystyle{ 1\in\{1,2,3\} }[/math], ואילו [math]\displaystyle{ 4\notin\{1,2,3\} }[/math]. שימו לב שגם [math]\displaystyle{ 1\notin\{\{1,2,3\}\} }[/math] שכן האיבר היחיד בקבוצה זו הינה הקבוצה [math]\displaystyle{ \{1,2,3\} }[/math].


  • אומרים שקבוצה A מוכלת בקבוצה B (מסומן [math]\displaystyle{ A \subseteq B }[/math]) אם כל האיברים בA הם גם איברים בB. בשפה מדויקת, A מוכלת בB אם מתקיים [math]\displaystyle{ \forall a\in A: a\in B }[/math].
דוגמא:

[math]\displaystyle{ \mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}\subset\mathbb{C} }[/math] כאשר

[math]\displaystyle{ \mathbb{N}=\{1,2,3,\dots\} }[/math] המספרים הטבעיים
[math]\displaystyle{ \mathbb{Z}=\{\dots,-2,-1,0,1,2,3,\dots\} }[/math] המספרים השלמים
[math]\displaystyle{ \mathbb{Q}=\{\frac{m}{n} : m,n\in \mathbb{Z},n\neq 0\} }[/math] המספרים הרציונאלים (שברים)
[math]\displaystyle{ \mathbb{R} }[/math] המספרים הממשיים ("כל המספרים" על הישר)
[math]\displaystyle{ \mathbb{C}=\{a+bi : a,b\in \mathbb{R}, i^2 =-1\} }[/math] המספרים המרוכבים
  • חיתוך של שתי קבוצות A ו B הינו אוסף האיברים השייכים גם לA וגם לB (מסומן [math]\displaystyle{ A\cap B }[/math]). מתקיים ש[math]\displaystyle{ a \in A\cap B \iff (a\in A \and a\in B) }[/math].
  • איחוד של שתי קבוצות A ו B הינו אוסף האיברים השייכים לA או לB (מסומן [math]\displaystyle{ A\cup B }[/math]). מתקיים ש[math]\displaystyle{ a \in A\cup B \iff (a\in A \or a\in B) }[/math].
  • קבוצות הן שוות אם הן מכילות את אותם האיברים. הדרך הנפוצה להוכיח שיוויון הינה הכלה דו כיוונית: A=B אם ורק אם [math]\displaystyle{ (A\subseteq B) \and (B \subseteq A) }[/math].
  • A הפרש B הינה הקבוצה המכילה את כל האיברים בA שאינם בB (מסומן A\B). מתקיים ש [math]\displaystyle{ x\in A/B \iff (x\in A) \and (x\notin B) }[/math].
  • ההפרש הסימטרי בין שתי קבוצות A וB הוא אוסף האיברים הנמצאים באחת הקבוצות אך לא בחיתוך (מסומן [math]\displaystyle{ A\Delta B }[/math]). מתקיים ש [math]\displaystyle{ x\in A\Delta B \iff ((x\in A)\and (x\notin B)) \or ((x\in B)\and (x\notin A)) \iff x\in (A\cup B) / (A\cap B) }[/math]

דוגמא:

יהיו [math]\displaystyle{ A=\{1,2,\{1\}\},B=\{1,\{2\}\},C=\{2,\{1,2\}\} }[/math] קבוצות.

אזי:

[math]\displaystyle{ A\cup B =\{1,2 ,\{1\},\{2\}\} }[/math]

[math]\displaystyle{ (A\cup B)\cap C =\{2\} }[/math]

[math]\displaystyle{ B \cap C = \emptyset }[/math]

[math]\displaystyle{ C \backslash A =\{\{1,2\}\} }[/math]

[math]\displaystyle{ B \Delta C = B \cup C }[/math]

[math]\displaystyle{ A \Delta C = \{1,\{1\},\{1,2\}\} }[/math]

  • הצרן תנאי השקול לכך שקבוצה C לא מוכלת באיחוד של A ו-B.


תכונות האיחוד והחיתוך (דומה לכפל וחיבור)

  • אסוציאטיביות: [math]\displaystyle{ (A\cap B)\cap C = A\cap (B\cap C) }[/math] (וכנ"ל לגבי איחוד)
  • חילוף: [math]\displaystyle{ A\cap B = B\cap A }[/math] (וכנ"ל לגבי איחוד)
  • דיסטריביוטיביות: [math]\displaystyle{ A\cap (B\cup C) = (A\cap B) \cup (A\cap C) }[/math], וגם [math]\displaystyle{ A\cup (B\cap C) = (A\cup B) \cap (A\cup C) }[/math]

תרגיל

נוכיח שההפרש הסימטרי הוא קיבוצי, כלומר: לכל שלש קבוצות [math]\displaystyle{ A,B,C }[/math] מתקיים : [math]\displaystyle{ A\triangle (B\triangle C)=(A\triangle B)\triangle C }[/math]

פתרון

אפשרי ע"י טבלת אמת הנקראת טבלת שכיחויות.

תרגיל

הוכח כי: א. הקבוצה הריקה [math]\displaystyle{ \phi=\{\} }[/math] מוכלת בכל קבוצה A

ב. [math]\displaystyle{ \phi \cap A = \phi }[/math]

ג. [math]\displaystyle{ \phi \cup A = A }[/math]

פתרון

א. יש להוכיח את הפסוק הבא: [math]\displaystyle{ \forall a\in\phi : a\in A }[/math]. אבל מכיוון שאין איברים בקבוצה הריקה, המשפט הזה נכון באופן ריק. זכרו ששקר גורר כל דבר, לכן האטום "איבר a שייך לקבוצה הריקה" גורר כל דבר. הערה: שימו לב שעל מנת להוכיח שקבוצה A אינה מוכלת בקבוצה B, יש להראות כי קיים איבר בA שאינו שייך לB. אם היינו משתמשים בפסוק "כל האיברים בA אינם בB" היינו מקבלים שהקבוצה הריקה לא מוכלת בכל קבוצה, וגם אינה מוכלת בכל קבוצה.

ב. [math]\displaystyle{ \phi \cap A = \{x:x\in \phi \and x\in A\}\subseteq \{x:x\in \phi \}=\phi }[/math]

ג. [math]\displaystyle{ \phi \cup A = \{x:x\in \phi \or x\in A\}= \{x:x\in A \}=A }[/math]

הכללה לאיחודים וחיתוכים כל שהם

מוטיבציה: הגדרנו את החיתוך והאיחוד עבור שתי קבוצות. לעיתים נרצה לחתוך או לאחד יותר קבוצות, לדוגמא נרצה לדבר על חיתוכן של 17 הקבוצות [math]\displaystyle{ A_1,A_2,\ldots,A_{17} }[/math]. מכיוון שחיתוך ואיחוד הן פעולות אסוציטיביות, ניתן לרשום [math]\displaystyle{ A_1\cap A_2\cap \ldots\cap A_{17} }[/math], וזה ביטוי חד משמעי. אך צורת רישום זו היא ארוכה, ולכן אנו מסמנים את החיתוך הזה בקיצור הבא: [math]\displaystyle{ \bigcap _{i=1} ^{17} A_i }[/math]. לעיתים נרצה לחתוך או לאחד אוסף אינסופי של קבוצות, ולכך באה ההכללה הבאה:

הגדרה: יהיו [math]\displaystyle{ \{A_i\}_{i\in I} }[/math] אוסף קבוצות כאשר [math]\displaystyle{ I }[/math] הוא קבוצת אינדקסים אזי נגדיר את האיחוד והחיתוך של אוסף הקבוצות כך:

[math]\displaystyle{ \bigcup _{i\in I} A_i := \{x| \exist i\in I :x\in A_i \} }[/math]

[math]\displaystyle{ \bigcap _{i\in I} A_i := \{x| \forall i\in I :x\in A_i \} }[/math]. כאן יש להניח שקבוצת האינדקסים [math]\displaystyle{ I }[/math] לא ריקה.

דוגמא:

נגדיר [math]\displaystyle{ \forall n\in \mathbb{N} \; A_n:=[n,n+1] }[/math] אזי

[math]\displaystyle{ \bigcup _{i\in \mathbb{N}} A_i = [ 1,\infty ) }[/math]

[math]\displaystyle{ \bigcap _{i\in \mathbb{N}} A_i = \phi }[/math]

תרגיל

נתון [math]\displaystyle{ A=\{\phi\} }[/math] ונתון [math]\displaystyle{ B=\{\phi,\{\phi\}\} }[/math]. סמן את הביטויים הנכונים:

  1. [math]\displaystyle{ \phi\subseteq B }[/math] (כן)
  2. [math]\displaystyle{ \phi\in \phi }[/math] (לא)
  3. [math]\displaystyle{ \phi \subseteq \phi }[/math] (כן)
  4. [math]\displaystyle{ A\subseteq B }[/math] (כן)
  5. [math]\displaystyle{ A\in B }[/math] (כן)
  6. [math]\displaystyle{ A\cup B = B }[/math] (כן)
  7. [math]\displaystyle{ A\cap B=\phi }[/math] (לא)

תרגיל

הוכח כי [math]\displaystyle{ A\cap (B/C)=(A\cap B) / (A\cap C) }[/math]

פתרון

דרך גרירות לוגיות:

[math]\displaystyle{ 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]\displaystyle{ \iff [(x\in A) \and (x\in B)]\and [(x\notin C)\or(x\notin A)]\iff [(x\in A) \and (x\in B)]\and \neg [(x\in C)\and(x\in A)] }[/math]


וזה בדיוק מה שרצינו.


דרך הכלה דו כיוונית:

([math]\displaystyle{ \subseteq }[/math]) נניח [math]\displaystyle{ x\in A\cap(B\backslash C) }[/math] אזי

[math]\displaystyle{ x\in A \land x\in B \land x\not\in C \Leftarrow }[/math] [math]\displaystyle{ x\in A\cap B \land x\not\in A\cap C \Leftarrow }[/math] [math]\displaystyle{ x\in (A\cap B) \backslash (A\cap C) }[/math]

([math]\displaystyle{ \supseteq }[/math]) נניח [math]\displaystyle{ x\in (A\cap B) \backslash (A\cap C) }[/math] אזי

[math]\displaystyle{ x\in A\cap B \land x\not\in A\cap C \Leftarrow }[/math] [math]\displaystyle{ x\in A \land x\in B \land x\not\in C \Leftarrow }[/math] (כי אם [math]\displaystyle{ x\in C }[/math] אזי [math]\displaystyle{ x\in A\cap C }[/math] סתירה) [math]\displaystyle{ x\in A\cap(B\backslash C)\Leftarrow }[/math]

תרגיל

נתונות [math]\displaystyle{ A=\{2m+1:m\in\mathbb{Z}\} }[/math], ו [math]\displaystyle{ B=\{2m+3:m\in\mathbb{Z}\} }[/math]. הוכח שA=B.

פתרון

נוכיח הכלה דו כיוונית. נניח [math]\displaystyle{ x\in A }[/math] לכן קיים מספר שלם m כך ש [math]\displaystyle{ x=2m+1 }[/math]. קל לראות שמתקיים [math]\displaystyle{ x=2(m-1)+3 }[/math] אבל אז מכיוון ש m-1 הינו מספר שלם מתקיים [math]\displaystyle{ x\in B }[/math] כפי שרצינו.

ההכלה בכיוון ההפוך דומה.

משלים

הגדרה: תהי קבוצה U, ונביט בתת קבוצה שלה A. ניתן להגדיר את המשלים של A כאוסף האיברים בU שאינם בA (כלומר ההפרש [math]\displaystyle{ U\setminus A }[/math]), מסומן [math]\displaystyle{ A^c }[/math]. לא ניתן לדבר על משלים אוניברסאלי ללא U מכיוון שאין קבוצה המכילה את כל הדברים בעולם (אחרת נגיע לסתירות כמו פרדוקס ראסל).

תכונות בסיסיות:

  • [math]\displaystyle{ A\cup A^c = U }[/math]
  • [math]\displaystyle{ \emptyset^c = U }[/math]
  • [math]\displaystyle{ U^c = \emptyset }[/math]
  • [math]\displaystyle{ (A^c)^c = A }[/math]

על המשלימים מתקיימים חוקי דה מורגן (הנובעים ישירות מחוקי דה מורגן בלוגיקה):

  • [math]\displaystyle{ (A\cap B)^c = A^c \cup B^c }[/math]
  • [math]\displaystyle{ (A\cup B)^c = A^c \cap B^c }[/math]

הערה: באופן כללי מתקיים

  • [math]\displaystyle{ (\cap _{i\in I} A_i)^c = \cup _{i\in I} A_{i}^c }[/math]
  • [math]\displaystyle{ (\cup _{i\in I} A_i)^c = \cap _{i\in I} A_{i}^c }[/math]


הגדרה: תהי קבוצה A. נגדיר את קבוצת החזקה של A בתור אוסף כל תתי הקבוצות של A. מסומן [math]\displaystyle{ P(A)=\{X:X\subseteq A\} }[/math]

דוגמא:

[math]\displaystyle{ A=\{1,2\} }[/math] אזי [math]\displaystyle{ P(A)=\{\{\},\{1\},\{2\},\{1,2\}\} }[/math].

האם אתם יכולים למנות כמה איברים יש בקבוצת החזקה?

תרגיל ממבחן

יהיו A,B,C קבוצות. הוכיחו/הפריכו:

א. אם [math]\displaystyle{ A \not\subseteq B \cap C }[/math] אזי [math]\displaystyle{ (A/B)\cap(A/C)\neq \phi }[/math]

ב. אם [math]\displaystyle{ A\subseteq B }[/math] אזי [math]\displaystyle{ A\cup(B/A)=B }[/math]

ג. אם [math]\displaystyle{ A\cap B=\phi }[/math] אזי [math]\displaystyle{ P(A)\cap P(B) = \{\phi\} }[/math]


פתרון

א. הפרכה: [math]\displaystyle{ A=\{1,2\},B=\{1\},C=\{2\} }[/math]. אזי ברור שA איננה מוכלת בחיתוך של B וC אבל [math]\displaystyle{ (A/B)\cap(A/C)=\{2\}\cap\{1\}=\phi }[/math]


ב. נתון שלכל [math]\displaystyle{ a\in A }[/math] מתקיים [math]\displaystyle{ a \in B }[/math]. אזי [math]\displaystyle{ 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]\displaystyle{ (x\in A)\rightarrow (x\in B) }[/math] ניתן להסיק בקלות ש[math]\displaystyle{ (x\in A)\or (x\in B) \iff (x\in B) }[/math] כפי שרצינו.

דרך נוספת: נגדיר את B להיות הקבוצה האוניברסאלית [math]\displaystyle{ U:=B }[/math] ואז צריך להוכיח כי [math]\displaystyle{ A\cap A^c =U }[/math] וזה אכן נכון!


ג. נניח בשלילה ש[math]\displaystyle{ P(A)\cap P(B)\neq \{\phi\} }[/math]. מכיוון שהקבוצה הריקה שייכת לכל קבוצת חזקה החיתוך אינו ריק. לכן לפי הנחת השלילה קיימת קבוצה לא ריקה [math]\displaystyle{ \phi \not=C }[/math] השייכת לחיתוך [math]\displaystyle{ P(A)\cap P(B) }[/math]. קבוצות החזקה הן אוסף תתי הקבוצות, ולכן [math]\displaystyle{ C\subseteq A \and C\subseteq B }[/math]. מכיוון שC אינה ריקה קיים בה איבר [math]\displaystyle{ \exists c\in C }[/math] וקל מאד לראות ש[math]\displaystyle{ (c\in A)\and (c\in B) }[/math] ולכן c מוכל בחיתוך בסתירה לכך שהחיתוך ריק.