- Meqë vlerat e saktësisë së gjykimeve p, q mund të jenë
ose , tabela e saktësisë së konjuksionit mund të shkruhet më shkurt kështu :
![{\displaystyle \scriptstyle \land }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee35ae18aea1698152f1643c05c84729b5193b46) |
|
![{\displaystyle \scriptstyle \top }](https://wikimedia.org/api/rest_v1/media/math/render/svg/810ded756d966aa34316998449e33f7e8f69b102) |
|
|
|
![{\displaystyle \scriptstyle \top }](https://wikimedia.org/api/rest_v1/media/math/render/svg/810ded756d966aa34316998449e33f7e8f69b102) |
|
|
![{\displaystyle \scriptstyle {\bot }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7002c34a4dca4770dae41690dc4a26ae57b521a1) |
|
- S h e m b u l l i 2. - Le të jenë p, q këto dy gjykime
p : Brinjët e kundërta të drejtkëndëshit janë të barabarta ; dhe q : Brinjët e kundërta të drejtkëndëshit janë paralele. Konjuksioni i tyre do të jetë : p q : Brinjët e kundërta të drejtkëndëshit janë të barabarta dhe paralele.
- S h e m b u l l i 3. - Le të jenë gjykimet : p : (15,7)
1 dhe q :1 > - 2. Të formohet konjuksioni dhe të gjendet vlera e tij.
- Z g j i d h j e : p
q :(15,7) 1 1>-2, v(p q)![{\displaystyle \scriptstyle {=}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d0a664fb934fdecbb413b38ad8f5c7abf1932cc) , sepse v((15,7) 1)![{\displaystyle \scriptstyle {=}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d0a664fb934fdecbb413b38ad8f5c7abf1932cc) dhe v (1 > - 2)![{\displaystyle \scriptstyle {=}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d0a664fb934fdecbb413b38ad8f5c7abf1932cc) .
- Konjuksioni është një veprim binar, megë lidh dy gjykime dhe si rezultat jep një gjykim të tretë, konjuksionin e tyre.
- Përkufizimi i konjuksionit të dy gjykimeve lehtë mund të zgjerohet edhe në rastin e n gjykimeve (n
N, n 2). Prej përkufizimit të konjuksionit dalin këto dy ligje të rëndësishme të logjikës së gjykimeve:
p q p , dhe p q q p ... (2)
- ligji i idempotencës dhe ai i komutacionit . Saktësinë e tyre e provojmë duke formuar tabelën e saktësisë për secilën formulë. P.sh. për të provuar ligjin e komutacionit formojmë këtë tabelë :
p |
q |
|
p q |
q p
|
|
![{\displaystyle \scriptstyle \top }](https://wikimedia.org/api/rest_v1/media/math/render/svg/810ded756d966aa34316998449e33f7e8f69b102) |
![{\displaystyle \scriptstyle \top }](https://wikimedia.org/api/rest_v1/media/math/render/svg/810ded756d966aa34316998449e33f7e8f69b102) |
![](//upload.wikimedia.org/wikibooks/sq/3/3e/Te_vlera_t%C3%AB_nj%C3%ABjta.PNG) |
|
![{\displaystyle \scriptstyle \top }](https://wikimedia.org/api/rest_v1/media/math/render/svg/810ded756d966aa34316998449e33f7e8f69b102) |
![{\displaystyle \scriptstyle {\bot }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7002c34a4dca4770dae41690dc4a26ae57b521a1) |
![](//upload.wikimedia.org/wikibooks/sq/7/7b/Jote_vlera_t%C3%AB_nj%C3%ABjta.PNG) |
|
![{\displaystyle \scriptstyle {\bot }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7002c34a4dca4770dae41690dc4a26ae57b521a1) |
![{\displaystyle \scriptstyle \top }](https://wikimedia.org/api/rest_v1/media/math/render/svg/810ded756d966aa34316998449e33f7e8f69b102) |
![](//upload.wikimedia.org/wikibooks/sq/7/7b/Jote_vlera_t%C3%AB_nj%C3%ABjta.PNG) |
|
![{\displaystyle \scriptstyle {\bot }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7002c34a4dca4770dae41690dc4a26ae57b521a1) |
![{\displaystyle \scriptstyle {\bot }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7002c34a4dca4770dae41690dc4a26ae57b521a1) |
![](//upload.wikimedia.org/wikibooks/sq/7/7b/Jote_vlera_t%C3%AB_nj%C3%ABjta.PNG) |
|
- Vlerat e rrethuara
në dy shty11at e fundit të tabelës tregojnë se gjykimet p q, q p kanë një vlerë të njëjtë të saktësisë, andaj themi se janë ekuivalente.
1 .2.3. DISJUNKSIONI I GJYKIMEVE
- Kur gjykimi përbërë formohet prej dy gjykimeve çfarëdo me ndihëmen e lidhëzës „ose" thuhet se ajo lidhëz përcakton veprimin logjik që quhet disjunkston [1]. Mirëpo, në gjuhën e zakonshme lidhëzja "ose" i ka dy kuptime - kuptimin inkluziv dhe atë eksluziv - , andaj duhet dalluar dy raste të posaçme të disjunksionit - disjunksionin e thjeshtë (zakonshëm, inkluziv) dhe disjunksionin ekskluziv (rigoroz) . Lidhëzja "ose" perdoret në kuptimin inklu-
- ↑ Nga fjala latine disjunctio - veçimi, ndarja.
|
|
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
|