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



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

Różnych składowych jest więcej niż
Dowód:

Każdy ciąg (i1,…,in), gdzie ik{0,1} dla k=1,…,n wyznacza składowe. Wszystkich składowych. Wszystkich takich ciągów jest 2*2*…2=

Stąd wszystkich składowych jest ≤ .
Twierdzenie:

Dwie różne składowe są rozłączne.


Dowód:

Niech S1=A…A, S2=A…A i S1S2. Wtedy przynajmniej dla jednego k≤n jest ikjk. Stąd AA=ø, a więc tym bardziej S1S2=ø



1   2   3   4   5   6   7   8   9


©operacji.org 2019
wyślij wiadomość

    Strona główna