Logika C0

background image

dr Tomasz Kowalski

Logika – ćwiczenia 0

Zbiory. Działania na zbiorach.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

2 / 97

Warunki zaliczenia kursu

Zaliczenie wykładu i ćwiczeń (na ocenę)
w oparciu o:

trzy 45-minutowe testy

przeprowadzone

na ćwiczeniach,

obecność na zajęciach

,

aktywność na

zajęciach

.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

3 / 97

Warunki zaliczenia kursu -
szczegóły

Każda z pięciu udokumentowanych obecności –
2 pkt.

Każdy z trzech testów – po 20 pkt.
Punkty za aktywność – maksymalnie 10.

Łącznie do zdobycia 80 pkt.

Liczba punktów

Ocena

0 – 23

brak zaliczenia

24 – 31

dost.

32 – 39

dost. plus

40 – 47

dobry

48 – 55

dobry plus

56 –

b.dobry

Skala
ocen

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

4 / 97

Krzysztof Wieczorek

„Wprowadzenie do

logiki”

Literatura przedmiotu

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

5 / 97

Literatura przedmiotu

Zygmunt

Ziembiński

„Logika

praktyczna”

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

6 / 97

Literatura przedmiotu

Barbara Stanosz

„Ćwiczenia z logiki”

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

7 / 97

Zbiory

Zbiór (inaczej zwany mnogością) to
podstawowe pojęcie w wielu dyscyplinach
nauki.

Przyjmuje się, że jest to pojęcie
pierwotne, tzn. nie wymagające
definiowania.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

8 / 97

Symbolika

teoriomnogościowa

Zbiory oznaczamy dużymi literami: A, B, C, X,
….

Elementy zbioru oznaczamy (na ogół)
małymi literami.

Jeżeli x jest elementem zbioru A (x należy do A),
to piszemy x
A;

w przeciwnym przypadku piszemy xA.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

9 / 97

Skorowidz oznaczeń niektórych
zbiorów

R – zbiór liczb rzeczywistych,

W – zbiór liczb wymiernych,

C – zbiór liczb całkowitych,

N – zbiór liczb naturalnych,

N

0

– zbiór liczb naturalnych z dołączonym

zerem,

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

10 / 97

Definiowanie konkretnego

zbioru

Zbiór można określić wypisując wszystkie jego
elementy lub podając własność, którą spełniają
wszystkie jego elementy.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

11 / 97

Przykłady zbiorów

A = { 0, 1, 2, 3, 4 }

= zbiór liczb naturalnych
mniejszych od 5.

B = { a, ą, e, ę, i, o, ó, u, y }

= zbiór samogłosek w języku
polskim.

C = {♠, ♣,

,

}

D = {♔, ♕, ♗, ♘, ♙}

= zbiór kolorów w grach
karcianych.

= zbiór figur szachowych.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

12 / 97

Przykłady zbiorów

A = {x R : x =

x

2

}

= { 0,
1 }

B = {x R : x - 5

> 0}

= (5; +

)

B = {x C : x przy dzieleniu przez 5

daje resztę 2}

= { 2, 7, 12, 17, … }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

13 / 97

Uwaga

Elementami jakiegoś zbioru mogą być nie
tylko „zwykłe” obiekty, ale również inne
zbiory.

Na przykład X = { {a, b}, {c}, {d, e, f, g} }.

Zbiór X ma trzy elementy, które z kolei same też
są zbiorami.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

14 / 97

Zbiór pusty. Zbiór pełny

Zbiór nie zawierający elementów nazywamy

zbiorem pustym

i oznaczamy symbolem .

Zbiór składający się ze wszystkich elementów
rozpatrywanych w danym zagadnieniu nazywamy

zbiorem pełnym

(

przestrzenią

lub

uniwersum

) i

oznaczamy X lub U.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

15 / 97

Zależności między zbiorami

Dwa dowolne zbiory X i Y mogą
pozostawać w następujących
zależnościach:

1. X = Y (zbiór X jest równy zbiorowi Y),

2. X Y (zbiór X zawiera się w zbiorze

Y),

3. X )( Y (zbiór X jest rozłączny ze zbiorem
Y
),

4. X # Y (zbiór X krzyżuje się ze
zbiorem Y
).

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

16 / 97

Równość (identyczność)

zbiorów

Mówimy, że dwa zbiory są sobie równe lub że są
identyczne, gdy mają dokładnie te same
elementy.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

17 / 97

Równość zbiorów - przykłady

A – zbiór liczb
parzystych,

A = B

2

{ :

}

B

x x x

=

=

{0,1},

A=

A = B

B – zbiór liczb podzielnych
przez 2.

= { 0,
1 }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

18 / 97

Równość zbiorów - przykłady

A = {a, e, i, o, u}

A = {1, 2, 3, 4 }

A =
B

A = B

Kolejność występowania elementów w
zapisie zbioru, jak i „powtarzanie się”
elementów nie są istotne.

B = {e, o, u, a, i}

B = {1, 1, 2, 3, 4, 4, 4 }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

19 / 97

Ćwiczenie 1

A = zbiór wszystkich miast, które były
stolicą Polski

A

B

B = { Gniezno, Poznań, Warszawa,
Gdańsk }

Czy zbiory A i B są sobie równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

20 / 97

Ćwiczenie 1

A = zbiór państw sąsiadujących z Polską

A = B

B = {Rosja, Litwa, Białoruś, Ukraina, Słowacja,
Czechy, Niemcy
}

Czy zbiory A i B są sobie równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

21 / 97

Ćwiczenie 1

A = zbiór liczb równych swojej
odwrotności

A = B

B = zbiór liczb, których kwadrat jest
równy 1

Czy zbiory A i B są sobie równe?

= { -1, 1 }

= { -1, 1 }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

22 / 97

Ćwiczenie 2

A = {a, b, a} B = {a, b}

Zbiory te są sobie
równe.

Jakie warunki powinny być spełnione,
aby poniższe zbiory były równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

23 / 97

Ćwiczenie 2

A = {b, c} B = {b, c, d}

d = b lub
d = c

Jakie warunki powinny być spełnione,
aby poniższe zbiory były równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

24 / 97

Ćwiczenie 2

A = {{a}, {a,b}} B =
{{c
}, {c,d}}

a = c i b =
d

Jakie warunki powinny być spełnione,
aby poniższe zbiory były równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

25 / 97

Ćwiczenie 2

A = { {a,b}, c} B =
{{a
}, c}

a = b

Jakie warunki powinny być spełnione,
aby poniższe zbiory były równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

26 / 97

Ćwiczenie 2

A = { {a,b}, {d}} B =
{{a
}}

a = b = d

Jakie warunki powinny być spełnione,
aby poniższe zbiory były równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

27 / 97

Ćwiczenie 2

A = { {a,

},

b

} B =

{{

}}

a =

i b =

{

}

Jakie warunki powinny być spełnione,
aby poniższe zbiory były równe?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

28 / 97

Inkluzja (zawieranie się)

zbiorów

Jeżeli każdy element zbioru A jest elementem
zbioru B
, to mówimy, że A jest

podzbiorem

zbioru B (zawiera się w B) i zapisujemy A
B (lub A B).

B

A

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

29 / 97

Zawieranie się zbiorów -

przykłady

A – zbiór liczb podzielnych
przez 4,

A B

2

{ :

}

B

x x x

=

=

{0},

A=

A B

B – zbiór liczb parzystych.

= { 0,
1 }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

30 / 97

Zawieranie się zbiorów -

przykłady

A – zbiór mieszkańców
Koszalina,

A B

A B

B – zbiór mieszkańców Pomorza
Środkowego.

A – { Polska, Litwa, Łotwa},

B – zbiór państw nadbałtyckich.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

31 / 97

Własności inkluzji

2. Jeżeli x A, to { x } A.
3. A
A.

5. Jeżeli A B oraz B A, to A = B.

B

A

C

1. Dla każdego zbioru A mamy A.

4. Jeżeli A B oraz B C, to A C.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

32 / 97

Ćwiczenie 3

A = { a, b, c, d }

B A

Który z podanych zbiorów jest podzbiorem
drugiego?

B = { a, d }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

33 / 97

Ćwiczenie 3

A =

A B

Który z podanych zbiorów jest podzbiorem
drugiego?

B = { a, d }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

34 / 97

Ćwiczenie 3

A = { x N; x > 5 }

A B i B

A

Który z podanych zbiorów jest podzbiorem
drugiego?

B = {x N; x

2

> 25 }

A = B

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

35 / 97

Ćwiczenie 3

A

=

zbiór krasnoludków

Który z podanych zbiorów jest podzbiorem
drugiego?

B = zbiór czarownic

Oba zbiory są puste!

A B i B

A

A = B

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

36 / 97

Ćwiczenie 3

A = { {a} }

Żaden z
nich.

Który z podanych zbiorów jest podzbiorem
drugiego?

B = { a }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

37 / 97

Ćwiczenie 3

A = zbiór kwadratów

Który z podanych zbiorów jest podzbiorem
drugiego?

B = zbiór rombów o równych
przekątnych

A B i B

A

A = B

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

38 / 97

Ćwiczenie 3

A = zbiór kwadratów

Który z podanych zbiorów jest podzbiorem
drugiego?

B = zbiór prosto

k

ą

tów

A B

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

39 / 97

Ćwiczenie 3

A = zbiór wielok

ą

tów o

obwodzie 4

Który z podanych zbiorów jest podzbiorem
drugiego?

B = zbiór kwadratów o polu 1

B A

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

40 / 97

Ćwiczenie 3

A = zbiór państw afrykańskich

Który z podanych zbiorów jest podzbiorem
drugiego?

B = { Egipt, Maroko, Jemen }

Żaden z
nich.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

41 / 97

Zbiory rozłączne

Zbiory A i B nazywamy

rozłącznymi

, gdy nie

mają żadnego elementu wspólnego.

Rozłączność (w logice) oznaczamy symbolem: )(.

X

B

A

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

42 / 97

Zbiory rozłączne - przykłady

A = {a, b, c} i B = {d, e},

C = zbiór ssaków, D = zbiór płazów.

A )( B

C )( D

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

43 / 97

Ćwiczenie 4

Czy zbiory A i B są rozłączne?

A = zbiór mieszkańców
Koszalina

B = zbiór posłów na Sejm

Nie.
Zbiory mają wspólny element.

Jest nim np. poseł

Gawłowski.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

44 / 97

Ćwiczenie 4

A = zbiór ssaków

Czy zbiory A i B są rozłączne?

B = zbiór gadów

Tak

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

45 / 97

Ćwiczenie 4

Czy zbiory A i B są rozłączne?

Tak

A =

B = { a, d }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

46 / 97

Krzyżowanie się zbiorów

Zbiory się krzyżują gdy mają pewne elementy
wspólne, ale oprócz nich w każdym zbiorze znajdują
się również takie obiekty, których nie ma w drugim.

Na oznaczenie krzyżowania używamy znaku: #.

A

B

.

x

.

z

.

y

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

47 / 97

Zbiory krzyżujące się -

przykłady

A = {a, b, c} i B = {b, d,},

Element wspólny: b.

A # B

Elementy tylko w zbiorze A : a, c.

Element tylko w zbiorze B : d.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

48 / 97

Ćwiczenie 5

Czy zbiory A i B krzyżują się?

A = zbiór liczb podzielnych
przez 2

B = zbiór liczb podzielnych
przez 3

Tak

Elementem wspólnym jest np. 6.

Elementem tylko w zbiorze A jest
np. 2.

Elementem tylko w zbiorze B
jest np. 9.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

49 / 97

Ćwiczenie 5

Czy zbiory A i B krzyżują się?

A = zbiór państw europejskich

B = zbiór państw – członków
NATO

Tak

Elementem wspólnym jest np.
Polska.

Elementem tylko w zbiorze A jest np.
Szwajcaria.

Elementem tylko w zbiorze B
jest np. USA.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

50 / 97

Ćwiczenie 5

Czy zbiory A i B krzyżują się?

A = zbiór studentów PK

B = zbiór mieszkańców
Koszalina

Tak

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

51 / 97

Ćwiczenie 6

Sprawdzić, jakie zachodzą stosunki między
zbiorami:

Zaczynamy od sprawdzenia, w jakich stosunkach do
innych zbiorów pozostaje A.

Zbiory A i B nie mają żadnego wspólnego elementu, więc
są rozłączne:

A )
( B
.

W przypadku A i C mamy: każdy element A jest
elementem C, a więc A zawiera się w C:

A C.

W przypadku A i D
podobnie:

A

D.

A = {1, 4}, B = {2, 3}, C = {1, 2, 3, 4},
D
= {1, 2, 4}.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

52 / 97

Ćwiczenie 6

Sprawdzić, jakie zachodzą stosunki między
zbiorami:

Przechodzimy do zbadania, w jakich zależnościach
do innych zbiorów pozostaje B.
Ponieważ stosunek pomiędzy B i A już znamy,
zaczynamy od B i C.

Mamy tutaj: każdy element B jest elementem C, a
więc

B C.

W przypadku B i D jest tak: zbiory te mają wspólny
element oraz każdy z nich ma przynajmniej jeden
inny element, zatem

B #
D
.

A = {1, 4}, B = {2, 3}, C = {1, 2, 3, 4},
D
= {1, 2, 4}.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

53 / 97

Ćwiczenie 6

Sprawdzić, jakie zachodzą stosunki między
zbiorami:

Pozostało nam jeszcze określenie stosunku pomiędzy
zbiorami C i D.

Każdy element D jest elementem C,
czyli

D C.

A = {1, 4}, B = {2, 3}, C = {1, 2, 3, 4}, D
= {1, 2, 4}.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

54 / 97

Uwaga

Pomiędzy zbiorami może zachodzić
jeszcze jeden stosunek, trochę innego
typu niż omówione wyżej.

Może się zdarzyć, że jeden zbiór sam jest elementem
innego zbioru, czyli: AB.

Aby tak było, zbiór B musi szczególnym rodzajem
zbioru – takim, którego elementy (przynajmniej
niektóre) są zbiorami.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

55 / 97

Przykład

A = {1, 4},

B = { 2, {1, 4}, 5 }.

AB

A = zbiór ludzi urodzonych w listopadzie

B = zbiór, którego elementami są

zbiory ludzi urodzonych w tym

samym miesiącu.

AB

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

56 / 97

Uwagi

Bardzo istotne jest, aby nie mylić zawierania się
zbiorów, czyli zależności A  B oraz bycia

elementem (należenia), czyli A  B.

Pierwsza zależność, inkluzja (), oznacza, że

każdy element zbioru A jest również
elementem zbioru B
.

Należenie () natomiast, oznacza, że sam

zbiór A, jako całość, jest elementem zbioru
B
.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

57 / 97

Uwagi cd.

Stosunek należenia (jeśli zachodzi), jest
zależnością, która występuje niejako obok
„zwykłych”, omawianych wyżej relacji
między zbiorami.

Znaczy to, że pewien zbiór A należąc do
zbioru B
(będąc elementem B) może
jednocześnie być z nim rozłączny, zawierać
się w nim lub krzyżować.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

58 / 97

Ćwiczenie 7

W jakich stosunkach pozostają do siebie zbiory:

A )( B i AB,
A # C i A

C,

AD i AD,

B # C,

B # D,

C # D.

A = {a, b},
B = { {a, b}, {c, d,
e
} },
C = {{a, b}, a, d},
D = {a, b, {a, b} }.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

59 / 97

Działania na zbiorach

Na zbiorach można wykonywać różne działania,
w wyniku których powstają nowe zbiory.

Najważniejsze z nich, to:

1. iloczyn,

2. suma,

3. różnica,

4. dopełnienie.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

60 / 97

Iloczyn (część wspólna)

zbiorów

Iloczynem

(

częścią wspólną

)

zbiorów

A i B

nazywamy zbiór złożony z tych i tylko tych
elementów, które należą do A
i należą do B.
Zbiór ten oznaczamy symbolem
AB .

X

A

B

AB

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

61 / 97

Przykład

{

}

7,8,9,10,11 ,

A=

{

}

6,8,10,12 .

B =

A B

� =

Wyznaczyć część wspólną zbiorów:

{

}

8,10

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

62 / 97

Uwaga

A )( B A B =

.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

63 / 97

Suma zbiorów

Sumą zbiorów A i B

nazywamy zbiór złożony

z tych i tylko tych elementów, które należą do A
lub należą do B
. Zbiór ten oznaczamy symbolem
A
B .

X

A

B

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

64 / 97

Suma zbiorów

Sumą zbiorów A i B

nazywamy zbiór złożony

z tych i tylko tych elementów, które należą do A
lub należą do B
. Zbiór ten oznaczamy symbolem
A
B .

X

A

B

AB

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

65 / 97

Przykład

{

}

7,8,9,10,11 ,

A=

{

}

6,8,10,12 .

B =

A B

� =

Wyznaczyć sumę zbiorów:

{

}

6,7,8,9,10,11,12

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

66 / 97

Różnica zbiorów

Różnicą zbiorów

A i B

nazywamy zbiór

złożony z tych i tylko tych elementów, które
należą do A
i nie należą do B. Zbiór ten
oznaczamy symbolem A
\ B lub symbolem A -
B
.

X

A

B

A \ B

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

67 / 97

Przykład

{

}

7,8,9,10,11 ,

A=

{

}

6,8,10,12 .

B =

A \ B =

Wyznaczyć różnicę A \ B zbiorów:

{ 7, 9,
11 }.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

68 / 97

Dopełnienie zbioru

Różnicę X \ A, w przypadku, gdy X jest
przestrzenią, nazywamy

dopełnieniem zbioru A

i oznaczamy symbolem A

/

.

X

A

A

/

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

69 / 97

Przykład

{

}

1,3,5,7,9 ,

A=

{

}

1,2,3,4,5,6,7,8,9,10 .

X =

A

/

=

Wyznaczyć dopełnienie zbioru A w
przestrzeni X
:

X \ A
=

{ 2, 4, 6, 8,
10 }.

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

70 / 97

Ćwiczenie 8

Zakładając, że różne małe litery oznaczają różne
elementy nie będące zbiorami wyznaczyć zbiory: A
B, A B oraz A \ B, jeżeli:

A = { a, b, c }

B = { a, c, d }

A B =

A B =

A \ B =

{ a, c }

{ a, b, c, d }

{ b }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

71 / 97

Ćwiczenie 8

Zakładając, że różne małe litery oznaczają różne
elementy nie będące zbiorami wyznaczyć zbiory: A
B, A B oraz A \ B, jeżeli:

A = { {a, b},
c, d
}

B = { a, c }

A B =

A B =

A \ B =

{ c }

{ {a, b}, c , d
, a
}

{ {a, b},
d
}

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

72 / 97

Ćwiczenie 8

Zakładając, że różne małe litery oznaczają różne
elementy nie będące zbiorami wyznaczyć zbiory: A
B, A B oraz A \ B, jeżeli:

A = { {a}, a }

B = { {a}, {b} }

A B =

A B =

A \ B =

{{a}}

{a , {a}, {b} }

{a }

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

73 / 97

T. Kowalski: Logika – wykład 6: Zbiory. Działania na
zbiorach.

Slajd nr

73 / 81

Podzbiory zbioru liczb
rzeczywistych

Przedział domknięty [a,b] = {x: a xb}

a

b

Przedział otwarty (a,b) = {x: a < x < b}

a

b

Przedział lewostronnie domknięty [a,b) ={x: a x <

b}

a

b

Przedział prawostronnie domknięty (a,b] = {x: a < x

b}

a

b

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

74 / 97

T. Kowalski: Logika – wykład 6: Zbiory. Działania na
zbiorach.

Slajd nr

74 / 81

Przykład

[ 1;3],

(2;4)

A

B

= -

=

/

/

,

,

\ ,

\ ,

,

.

A B

A B A B

B A

A

B

Zaznaczyć na osi liczbowej te zbiory, a następnie
wyznaczyć
 zbiory:

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

75 / 97

T. Kowalski: Logika – wykład 6: Zbiory. Działania na
zbiorach.

Slajd nr

75 / 81

Przykład

[ 1;3],

(2;4)

A

B

= -

=

A


0

1

2

3


4

5

-1

-2


0

1

2

3


4

5

-1

-2

B

/

/

\
\

A B
A B
A B

B A

A

B

� =
� =

=
=

=
=

(2 ; 3]
[ -1; 4)

[-1 ; 2]
(3 ; 4)

(

; 1) (3;

)

- �- � +�

(

;2] [4;

)

- � � +�

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

76 / 97

Prawa rachunku zbiorów

AA = A
A
A = A

(A B)

/

= A

/

B

/

I prawo de Morgana dla zbiorów-

dopełnienie sumy dwóch zbiorów
jest iloczynem dopełnień tych

zbiorów

(AB)

/

= A

/

B

/

II prawo de Morgana dla zbiorów –
dopełnienie iloczynu dwóch zbiorów

jest sumą dopełnień tych zbiorów

AB = BA

przemienność dodawania zbiorów

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

77 / 97

Prawa rachunku zbiorów

(AB)  C= A (BC)

łączność dodawania

zbiorów

AB = BA

przemienność

mnożenia zbiorów

(AB) C = A (BC)

łączność mnożenia

zbiorów

A (BC) = (AB)  (A
C)

rozdzielność

mnożenia zbiorów
wzgl. ich dodawania

A (BC) = (AB)  (A
C)

rozdzielność

dodawania zbiorów
wzgl. ich mnożenia

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

78 / 97

Przykład dowodu

Pokazać, że
A (BC) = (AB)  (AC).

Wykorzystamy diagramy Venna:

A B

C

A B

C

A  (BC)

(AB)  (AC)

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

79 / 97

Przykład dowodu

Pokazać, że
A (BC) = (AB)  (AC).

Wykorzystamy diagramy Venna:

A B

C

A B

C

A  (BC)

(AB)  (AC)

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

80 / 97

Przykład dowodu

Pokazać, że
A (BC) = (AB)  (AC).

Wykorzystamy diagramy Venna:

A B

C

A B

C

A  (BC)

(AB)  (AC)

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

81 / 97

Przykład dowodu

Pokazać, że
A (BC) = (AB)  (AC).

Wykorzystamy diagramy Venna:

A B

C

A B

C

A  (BC)

(AB)  (AC)

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

82 / 97

Przykład dowodu

Pokazać, że
A (BC) = (AB)  (AC).

Wykorzystamy diagramy Venna:

A B

C

A B

C

A  (BC)

(AB)  (AC)

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

83 / 97

Przykład dowodu

Pokazać, że
A (BC) = (AB)  (AC).

Wykorzystamy diagramy Venna:

A B

C

A B

C

A  (BC)

(AB)  (AC)

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

84 / 97

Przykład dowodu

Pokazać, że
A (BC) = (AB)  (AC).

Wykorzystamy diagramy Venna:

A B

C

A B

C

=

A  (BC)

(AB)  (AC)

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

85 / 97

Prawa de Morgana

(AB)

/

= A

/

B

/

X : 1, 2, 3, 4

B

A

3

4

1

2

X

Dowód – metodą sektorową z użyciem
diagramów Venna

Dopełnienie sumy dwóch

zbiorów jest równe części

wspólnej dopełnień

A : 1, 2
B : 2, 3

AB :1, 2, 3

L =

(AB)

/

:

4

A

/

: 3, 4

P =

A

/

B

/

:

L = P

B

/

: 1, 4

4

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

86 / 97

Diagram Venna dla trzech

zbiorów

1

2

3

4

5

6

7

A

B

C

8

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

87 / 97

Diagram Venna dla trzech

zbiorów

1

2

3

4

5

6

7

A

B

C

8

Z jakich sektorów składa się
zbiór:

A (BC)

1, 2, 4,
5, 6

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

88 / 97

Diagram Venna dla trzech

zbiorów

1

2

3

4

5

6

7

A

B

C

8

Z jakich sektorów składa się
zbiór:

A \ (BC)

1

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

89 / 97

Diagram Venna dla trzech

zbiorów

1

2

3

4

5

6

7

A

B

C

8

Z jakich sektorów składa się
zbiór:

A  (B \ C)

1, 2, 3,

4, 5

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

90 / 97

Diagram Venna dla trzech

zbiorów

1

2

3

4

5

6

7

A

B

C

8

Z jakich sektorów składa się
zbiór:

(AB) \ C

1, 2, 3

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

91 / 97

Diagram Venna dla 4 zbiorów

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

92 / 97

Koła z liczbami

Trzy koła tak się przecinają, że tworzą w każdym
z nich
po cztery pola.

6

4

1

Trzeba w nie wpisać liczby od 1 do 7, aby ich suma w
każdym kole wynosiła 16.

Trzy liczby zostały już
wpisane.

2

3

5

7

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

93 / 97

Z życia studentów

Profesor na końcu wykładu z logiki:

- Czy są jakieś pytania?

Student:

Profesor (z zaciekawieniem):

- Czy może pan profesor coś powtórzyć?

- Od którego momentu?
Student:

- Od dzień dobry!!!

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

94 / 97

O studencie

Student znajduje na korytarzu zeszyt.

Przez chwilę mu się przygląda:

- Przyda się, nie przyda, skserować warto!

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

95 / 97

O studentce

Rozmawiają dwie studentki:

- Którego wolisz: Pawła, czy Karola ?

- A który przyszedł?

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

96 / 97

Hipokryta

Kto to jest hipokryta? - pyta pani na lekcji.

- Ja wiem - zgłasza się Jaś - to jest uczeń, który
twierdzi, że lubi chodzić do szkoły

background image

T. Kowalski: Logika – Ćwiczenia 0: Zbiory. Działania na
zbiorach.

Slajd nr

97 / 97


Document Outline


Wyszukiwarka

Podobne podstrony:
Logika C0 zadania
Metodologia badań z logiką dr Karyłowski wykład 7 Testowalna w sposób etycznie akceptowalny
Logika koll3
logika mat
Logika W2 2013 14 ppt
logika wyklad 02
LOGIKA wyklad 5 id 272234 Nieznany
Logika RachunekZdan
logika rozw zadan v2
Analiza Wyklad 01 Logika id 59757 (2)
logika wyklad 07
logika test przykladowy
LOGIKA POJECIA, PRAWO, Logika
do zdań ściąga wyjątki, Logika Prawnicza
logika egzamin(1), Studia Pedagogika, Logika
logika, logika
Test Logika, Prawo UWM

więcej podobnych podstron