KIF20

Sytuacji, w której A. B, C są zbiorami spełniającymi następujące warunki: Af& BnC~0. AnC-C, odpowiada wykres:

Wykres ten pozwala natychmiast stwierdzić, że dowolne zbiory A, B, C spełniające powyższe warunki spełniają też warunek: C c A-B.

Wskaż kolejno na wykresach (I), (2), (3), (4) obszar, który

reprezentuje zbiór:
(a) A'	(gj (AuB)'
<b )*	(h) (AnB)'
(c) AuB	(0 (A-B)'
Cd) AnB	U)
(e) A-B	(k) A'nB'
(0 b-a	(1) A’-B'

134. Przedstaw na wykresie sytuację, w której zbiory A, B, C spełniają następujące warunki:

(a) AnB^A CvB~B

(c) A'nB'=0 AuB e C

(b) A c («uC)’ B <= iAuCy C e (AkjBY

(d) A'nB' = A' B-C*B

Cr\A’n O

135. Które z podanych niżej układów warunków wyznaczaj;! jednoznacznie stosunek zachodzący miedzy zbiorami A i C.

(a)    Ar,B*0 B-CtB

(b)    Ac\B - 0 B'nC' = B'

(c)    -*-£'=-0 B-C-B

(d)    A’nB^t-0 B'csC -B'

136. Niekiedy wygodniej jest ilustrować stosunki między dowolnymi zbiorami A, B przyjmując jako punkt wyjścia wykres:

i umawiając się. że obszar zakreskowany będzie zawsze reprezentował zbiór pusty, zaś obszar oznaczony symbolem..X” -zbiór niepusty. Podane niżej wykresy ilustrują: (I) sytuację, w której zbiór A jest podzbiorem właściwym zbioru B. (2) sytuację, w której zbiory A, B wykluczają się.

I    2

95