Le të supozojmë se x është cilido një element i bashkësisë (A
∪
{\displaystyle \scriptstyle {\cup }}
x
∈
{\displaystyle \scriptstyle \in }
∪
{\displaystyle \scriptstyle {\cup }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∉
{\displaystyle \scriptstyle \not \in }
∪
{\displaystyle \scriptstyle {\cup }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∉
{\displaystyle \scriptstyle \not \in }
∧
{\displaystyle \scriptstyle \land }
∉
{\displaystyle \scriptstyle \not \in }
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∧
{\displaystyle \scriptstyle \land }
∈
{\displaystyle \scriptstyle \in }
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∩
{\displaystyle \scriptstyle {\cap }}
Meqë, implikacioni x
∈
{\displaystyle \scriptstyle \in }
∪
{\displaystyle \scriptstyle {\cup }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∩
{\displaystyle \scriptstyle {\cap }}
(A
∪
{\displaystyle \scriptstyle {\cup }}
(
∀
{\displaystyle \scriptstyle {\forall }}
∈
{\displaystyle \scriptstyle \in }
∪
{\displaystyle \scriptstyle {\cup }}
∈
{\displaystyle \scriptstyle \in }
∪
{\displaystyle \scriptstyle {\cup }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∩
{\displaystyle \scriptstyle {\cap }}
konkludojmë se (A
∪
{\displaystyle \scriptstyle {\cup }}
∩
{\displaystyle \scriptstyle {\cap }}
(2) Vërtetimi i inkluzionit A'
∩
{\displaystyle \scriptstyle {\cap }}
∪
{\displaystyle \scriptstyle {\cup }}
Le të supozojmë tani se y A'
∩
{\displaystyle \scriptstyle {\cap }}
y
∈
{\displaystyle \scriptstyle \in }
∩
{\displaystyle \scriptstyle {\cap }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∧
{\displaystyle \scriptstyle \land }
∈
{\displaystyle \scriptstyle \in }
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∉
{\displaystyle \scriptstyle \not \in }
∧
{\displaystyle \scriptstyle \land }
∉
{\displaystyle \scriptstyle \not \in }
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∉
{\displaystyle \scriptstyle \not \in }
∪
{\displaystyle \scriptstyle {\cup }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∪
{\displaystyle \scriptstyle {\cup }}
Meqë edhe këtu implikacioni y
∈
{\displaystyle \scriptstyle \in }
∩
{\displaystyle \scriptstyle {\cap }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∪
{\displaystyle \scriptstyle {\cup }}
A'
∩
{\displaystyle \scriptstyle {\cap }}
(
∀
{\displaystyle \scriptstyle {\forall }}
∈
{\displaystyle \scriptstyle \in }
∩
{\displaystyle \scriptstyle {\cap }}
∈
{\displaystyle \scriptstyle \in }
∩
{\displaystyle \scriptstyle {\cap }}
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
∈
{\displaystyle \scriptstyle \in }
∪
{\displaystyle \scriptstyle {\cup }}
konkludojmë se A'
∩
{\displaystyle \scriptstyle {\cap }}
∪
{\displaystyle \scriptstyle {\cup }}
(3) Nga inkluzionet të vërtetuara nën (1) dhe (2) dhe në bazë të përkufizimit 2.1 .3. :
(A
∪
{\displaystyle \scriptstyle {\cup }}
∩
{\displaystyle \scriptstyle {\cap }}
}
{\displaystyle \displaystyle {\}}}
⇔
{\displaystyle \scriptstyle \Leftrightarrow }
∪
{\displaystyle \scriptstyle {\cup }}
=
{\displaystyle \scriptstyle {=}}
∩
{\displaystyle \scriptstyle {\cap }}
A'
∩
{\displaystyle \scriptstyle {\cap }}
∪
{\displaystyle \scriptstyle {\cup }}
Fig. 1.6.
konkludojmë se është i saktë relacioni që shpreh ligjin e parë të De Morganit . Në mënyrë analoge bëhet vërtetimi i ligjit të dytë [1] Le të jenë A, B A\B B .A diferenca simetrike e tyre dhe shënohet A
∇
{\displaystyle \scriptstyle {\nabla }}
A
∇
{\displaystyle \scriptstyle {\nabla }}
=
{\displaystyle \scriptstyle {=}}
∪
{\displaystyle \scriptstyle {\cup }}
P.sh. : {a, b, c}
∇
{\displaystyle \scriptstyle {\nabla }}
=
{\displaystyle \scriptstyle {=}}
∪
{\displaystyle \scriptstyle {\cup }}
=
{\displaystyle \scriptstyle {=}}
∪
{\displaystyle \scriptstyle {\cup }}
=
{\displaystyle \scriptstyle {=}}
Pra, diferenca simetrike e bashkësive A, B
↑ Vërtetimi i ligjeve të De Morganit shkurtohet nëse në vend të
⇒
{\displaystyle \scriptstyle {\Rightarrow }}
⇔
{\displaystyle \scriptstyle \Leftrightarrow }
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
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
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
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
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
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
