- 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 :
|
|
|
|
|
|
|
|
|
|
|
- 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 : pq :(15,7)11>-2, v(pq), sepse v((15,7)1) dhe v (1 > - 2) .
- 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:
pqp , dhe pqqp ... (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 |
|
pq |
qp
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- Vlerat e rrethuara në dy shty11at e fundit të tabelës tregojnë se gjykimet pq, qp 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
|