Logika formalna – nauka badająca poprawność rozwiązań



Pobieranie 0,96 Mb.
Strona7/9
Data30.05.2018
Rozmiar0,96 Mb.
1   2   3   4   5   6   7   8   9
Twierdzenie:

Suma wszystkich składowych jest równa U.


Twierdzenie:

Zbiór Ak jest równy sumie tych wszystkich składowych, w których występuje czynnik A.

Dowód:

Ponieważ U=S1,…,Sn, więc Ak=Ak  U=Ak(S1…Sm)=(AkS1)…(Ak Sm)



Jeśli Sp ma czynniki A, to AkSp=ø, a jeśli Sp ma czynnik A, to AkSp=Sp. Stąd Ak jest sumą tych składowych, w których występuje czynnik A.
Twierdzenie:

Niech C(A1,…,An) będzie rodziną wszystkich podzbiorów przestrzeni U, które są skończonymi sumami pewnej ilości składowych. Wtedy C (A1,…,An) jest najmniejszym ciałem zbioru C przestrzeni U tzn.: A1,…,An(C).




1   2   3   4   5   6   7   8   9


©operacji.org 2019
wyślij wiadomość

    Strona główna