k oraz k

D:\materiały\Analiza matematyczna\Elementy logiki\zb.K.4.doc
Zbiory W
13
Kod
AB
XY
WE
QA
Zbiory K
{a }
{a, {a, b}, b, c }
{c, b }
{a, {b}, c }
{{c, b}, a }
W ∪K
K \W
{b }
W ∩K
W \K
{a, b }
W ∪K
W ∩K
{a, {a}, c }
W \K
K \W
Zestaw relacji
W =K
(W ≠ K ) ∧ (W ⊂ K ) ∧ (W ∉ K )
(W ⊂ K ) ∧ (W ∈ K )
(W ≠ K ) ∧ (K ⊂ W ) ∧ (K ∈ W )
Kod
UI
NH
XD
TZ
Zestaw relacji
(K ⊂ W ) ∧ (K ∈ W )
(W ∈ K ) ∧ (W ⊄ K )
(K ∈ W ) ∧ (K ⊄ W )
(K ⊄ W ) ∧ (K ∉ W ) ∧ (W ⊄ K ) ∧ (W ∉ K )
14
Zbiory K
{a, b, c }
Zbiory W
{a, {a, b}, b, c }
XY
WE
QA
{a, b }
W ∪K
W ∩K
{c }
W ∪K
K \W
Zestaw relacji
W =K
(W ≠ K ) ∧ (W ⊂ K ) ∧ (W ∉ K )
(W ⊂ K ) ∧ (W ∈ K )
(W ≠ K ) ∧ (K ⊂ W ) ∧ (K ∈ W )
{a, {c}, b, c }
{a, c }
W \K
{a, {a, b, c}}
{a, b, {c}, c }
Kod
AB
2003-paź-04, 23:36
K \W
W ∩K
W \K
Kod
UI
NH
XD
TZ
55
Zestaw relacji
(K ⊂ W ) ∧ (K ∈ W )
(W ∈ K ) ∧ (W ⊄ K )
(K ∈ W ) ∧ (K ⊄ W )
(K ⊄ W ) ∧ (K ∉ W ) ∧ (W ⊄ K ) ∧ (W ∉ K )
D:\materiały\Analiza matematyczna\Elementy logiki\zb.K.4.doc
15
Zbiory K
{a, b, {a}, c }
Zbiory W
{b, c }
{a, {b, c}}
W \K
K \W
K \W
W ∩K
Zestaw relacji
W =K
(W ≠ K ) ∧ (W ⊂ K ) ∧ (W ∉ K )
(W ⊂ K ) ∧ (W ∈ K )
(W ≠ K ) ∧ (K ⊂ W ) ∧ (K ∈ W )
Kod
UI
NH
XD
TZ
Zestaw relacji
(K ⊂ W ) ∧ (K ∈ W )
(W ∈ K ) ∧ (W ⊄ K )
(K ∈ W ) ∧ (K ⊄ W )
(K ⊄ W ) ∧ (K ∉ W ) ∧ (W ⊄ K ) ∧ (W ∉ K )
Zbiory K
{a, {a, b}, b, c }
Zbiory W
{a, b }
{a, c }
{b, c, c }
W \K
W ∪K
{a, b, {c}}
{a, b, c, {b, c}}
W ∩K
K \W
{b, {a, c}}
K \W
W ∩K
{c }
XY
WE
QA
W \K
W ∪K
16
Kod
AB
{a, b }
W ∩K
{a, {a}, b, c }
{a, {c}, b, c }
XY
WE
QA
{c }
W ∪K
{a }
Kod
AB
2003-paź-04, 23:36
Zestaw relacji
W =K
(W ≠ K ) ∧ (W ⊂ K ) ∧ (W ∉ K )
(W ⊂ K ) ∧ (W ∈ K )
(W ≠ K ) ∧ (K ⊂ W ) ∧ (K ∈ W )
W ∪K
Kod
UI
NH
XD
TZ
56
W \K
Zestaw relacji
(K ⊂ W ) ∧ (K ∈ W )
(W ∈ K ) ∧ (W ⊄ K )
(K ∈ W ) ∧ (K ⊄ W )
(K ⊄ W ) ∧ (K ∉ W ) ∧ (W ⊄ K ) ∧ (W ∉ K )