- (a4)
|
A (B C) (A B} (A C) A (B C) (A B} (A C)
|
(ligji distributiv)
|
- (a5)
|
A (B C) (A B} (A C), A (B C) (A B} (A C),
|
(ligji distributiv)
|
- P ë r k u f i z i m i 2.2.3. - Diferenca e bashkësive A, B quhet bashkësia e elementeue të bashkësisë A që nuk janë në bashkësinë B (fig. 1.4.), pra :
A\B {x x A X B}.
- Simboli \ (lexo: diferenca ose pa) është shenja e veprimit në fjalë.
- P.sh.:
\  , \  , \  , {1,3,5,7}\{2,3,4,5} { 1, 7}.
- Në bazë të përkufizimit 2.2.3 del se A\A
 dhe A\ A, për çdo bashkësi A.
|
 Fig. 1.4.
|
 Fig. 1.5
|
- Kur B
C, atëherë A\B quhet komplement i bashkësisë B ndaj bashkësisë A dhe shënohet CAB ose B' (fig. 1.5.).
- P.sh.:
    \ {x x  x<0}.
- Relacioni (A')'
A shpreh ligjin e involucionit.
- S h e m b u l l i 11. - Të vërtetohen relacionet:
(A B)' A' B' dhe (A B)' A' B'
- që paragesin ligjet e De Morganit.
- V ë r t e t i m : Të vërtetojmë relacionin e parë. Vërtetimi bëhet sipas skemës:
- (1) vërtetohet se (A
B)' A' B' ;
- (2) vërtetohet se A'
B' (A B)' ; dhe
- (3) nxirret konkludirni se (A
B)' A' B'.
- (1) vërtetimi i inkluzionit (A
B)' A' B'.
|
|
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100+
00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
200+
00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
300+
00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
400+
00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
500+
00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|