‫תרגיל בית ‪2‬‬ ‫‪1‬‬

‫תרגיל ‪ .1.1‬קבעו האם הטענות הבאות נכונות או לא‪:‬‬

‫‪{1, 2} ⊆ {{1} , {2}} .1‬‬

‫‪{2} ⊆ {{1} , 2} .2‬‬

‫‪{{1} , {2}} ∈ {{{1} , {2}}} .3‬‬
‫‪∅ ⊆ {∅} \ {∅} .4‬‬
‫‪∅ ∈ {∅} \ {{∅}} .5‬‬

‫‪∅ ∈ {∅} \ {∅} .6‬‬

‫‪{2} ∈ {N} .7‬‬
‫‪|{N}| = |{1, N}| .8‬‬
‫תרגיל ‪ .1.2‬הוכיחו‪:‬‬

‫‪A\B = A ∩ B c .1‬‬
‫‪A\ (B ∪ C) = (A\B) \C .2‬‬

‫תרגיל ‪ .1.3‬הוכיחו או הפריכו ש‪.P (A) \P (B) = P (A\B) -‬‬

‫תרגיל ‪ .1.4‬הוכיחו או הפריכו‪:‬‬
‫אם ‪ A × C = B × C‬וגם ∅ ≠ ‪ C‬אז ‪.A = B‬‬

‫תרגיל ‪ .1.5‬הוכיחו או הפריכו‪:‬‬

‫אם ‪ C ⊆ A × B‬אז קיימות ‪ D ⊆ A‬ו‪ E ⊆ B-‬כך ש‪.C = D × E-‬‬
‫תרגיל ‪ .1.6‬תהיינה ‪ A, B, C‬חלקיות לקבוצה אוניברסלית ‪ .U‬הוכיחו‪:‬‬
‫אם ‪ U‬סופית‪ A ∪ B c ̸= U ,‬ו‪ B ∪ Ac ̸= U -‬אז ‪.|A△B| ≥ 2‬‬
‫תרגיל ‪ .1.7‬מצאו תנאי הכרחי ומספיק על הקבוצות ‪ B, C‬כך שלכל ‪ A‬מתקיים ‪ A ∩ B ̸= C‬והוכיחו זאת‪.‬‬
‫התנאי צריך להיות לא תלוי ב‪ .A-‬אנחנו מניחים ש‪ A, B, C-‬חלקיות לקבוצה אוניברסלית ‪.U‬‬
‫תרגיל ‪ .1.8‬מצאו תנאי הכרחי ומספיק על הקבוצות ‪ B, C‬כך שקיים ‪ A‬יחיד כך ש‪ .A ∩ B = C -‬והוכיחו זאת‪.‬‬
‫התנאי צריך להיות לא תלוי ב‪ .A-‬אנחנו מניחים ש‪ A, B, C-‬חלקיות לקבוצה אוניברסלית ‪.U‬‬

‫‪1‬‬