22945

Twierdzenia: 1 )S._a = D_a - S_a = S_a'

2 )S»,=S_aAS₀

S<rvfi ⁼ S<z ^V $0

4 )S^_p = S_a\/S_p

5)5^ = (5_aVS_/,)A(5_/łV5_a)

Kwantyfikatory o ograniczonym zakresie:    :a(x) <^> Ad S_a

3_mA :a(x)<=> Ar^S_a *0

Teoria mnogości:

Działania na zbiorach i ich własności:

A'uB = [x:xe Avxe B)

AnB = {x:xeA/\xeB]

A\B = {x:xeAAxeB\

A e X,A'= {x e X : x e A) = X \ A

Prawa rachunku zbiorów:

AkjB = BkjA AnB=BnA /lu(BuC) = Mufi)uC An(BnC) = (Ar^B)nC /4u(BnC) = (/4u B)n(AuC)

An(BvC) = (AnB)v(AnC)

(AuB)'= AnB'

(AnB)^,= A^,uB'

Ar\(p = 0 Akj<P = A A\B = (A'vBy

Zbiór potęgowy (P(x)): Niech X będzie zbiorem. Zbiorem potęgowym zbioru X nazywamy zbiór wszystkich podzbiorów zbioru X.

P(x)~[A:AeX\

Iloczyn Kartezjański zbiorów A i B: zbiór A x B .-{(«,/>):« E A A b e B)

Rodzina zbiorów: zbiór 9C :={AcX - przestrzał: A - zbiór)