{ }a { } { } { }c { } { } { } { } { }{ } {} {} { } ( ) ( ) ( ) ( ) ( )K ( ) ( )K ( ) ( )K

{ }a { } { } { }c { } { } { } { } { }{ } {} {} { } ( ) ( ) ( ) ( ) ( )K ( ) ( )K ( ) ( )K

D:\materiały\Analiza matematyczna\Elementy logiki\zb.K.1_.doc
1
Zbiory K
{a }
Zbiory W
{a, b }
{b, a, b }
W \K
{{a, b}, c }
W ∪K
XY
WE
QA
{a, {a, b}, b, c }
{c }
K \W
W ∪K
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
2
Zbiory W
{a, b }
{a }
Zestaw relacji
(K ⊂ W ) ∧ (K ∈ W )
(W ∈ K ) ∧ (W ⊄ K )
(K ∈ W ) ∧ (K ⊄ W )
(K ⊄ W ) ∧ (K ∉ W ) ∧ (W ⊄ K ) ∧ (W ∉ K )
{a, {b, a}, {c}, b, a } {b, {c, a}, {a}, a }
W ∩K
K \W
{{b, c}}
W ∪K
{c }
W ∪K
{{a}, a, {a, c}, b }
XY
WE
QA
W \K
Zbiory K
{b, c }
Kod
AB
{{a, a, b}, c }
W ∩K
K \W
{c, {a}, b, {c}}
Kod
AB
2003-paź-04, 23:39
W \K
Zestaw relacji
W =K
(W ≠ K ) ∧ (W ⊂ K ) ∧ (W ∉ K )
(W ⊂ K ) ∧ (W ∈ K )
(W ≠ K ) ∧ (K ⊂ W ) ∧ (K ∈ W )
W \K
W ∩K
K \W
Kod
UI
NH
XD
TZ
49
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.1_.doc
3
Zbiory K
{a, b, {b}, c }
Zbiory W
{a, b, {a, b}, c }
XY
WE
QA
{a, b, b }
W ∪K
K \W
Kod
UI
NH
XD
TZ
Zbiory K
{{a}, a, b, c }
Zbiory W
{a, b, c, {b, c}}
{a, {c}}
{b, c, c }
W \K
W ∪K
W ∩K
{a }
K \W
W ∪K
W ∩K
Zestaw relacji
W =K
(W ≠ K ) ∧ (W ⊂ K ) ∧ (W ∉ K )
(W ⊂ K ) ∧ (W ∈ K )
(W ≠ K ) ∧ (K ⊂ W ) ∧ (K ∈ W )
{a, {b, c}, c }
W \K
{b, c }
{a, {c}, {b, c}}
XY
WE
QA
W \K
Zestaw relacji
(K ⊂ W ) ∧ (K ∈ W )
(W ∈ K ) ∧ (W ⊄ K )
(K ∈ W ) ∧ (K ⊄ W )
(K ⊄ W ) ∧ (K ∉ W ) ∧ (W ⊄ K ) ∧ (W ∉ K )
4
Kod
AB
W \K
W ∪K
W ∩K
Zestaw relacji
W =K
(W ≠ K ) ∧ (W ⊂ K ) ∧ (W ∉ K )
(W ⊂ K ) ∧ (W ∈ K )
(W ≠ K ) ∧ (K ⊂ W ) ∧ (K ∈ W )
{a, {a, b, c}}
K \W
{b }
{c, a, b, c }
{a, b, c }
W ∩K
{{a, {b}, b, c}}
Kod
AB
2003-paź-04, 23:39
K \W
Kod
UI
NH
XD
TZ
50
Zestaw relacji
(K ⊂ W ) ∧ (K ∈ W )
(W ∈ K ) ∧ (W ⊄ K )
(K ∈ W ) ∧ (K ⊄ W )
(K ⊄ W ) ∧ (K ∉ W ) ∧ (W ⊄ K ) ∧ (W ∉ K )