Fjalia e cila e ka njërën nga vlerat e saktësisë-e saktë ose jo e saktë-quhet gjykim.
       Pra ajo që e dallon cilindo gjykim p është vetia se ai e ka njërën nga vlerat i saktë ose jo i saktë . Kështu themi : v (2 > -7) , v (5 {0,1, 2, . . . , 9) , v ( 1,5) 1, v (15 : 4) etj . Mirëpo, në matematikë ekzistojnë edhe gjykime të atilla të cilat, ndonëse shprehin një pohim të caktuar, prapëseprapë ato, në bazë të variablave që e përmbajnë, nuk mund të konstatohet se a janë të sakta, apo jo të sakta . Gjykime të atilla quhen gjykime të hapura ose funksione gjykimesh. Funksione gjykimesh që i përmbajnë variablat x; x, y ; x, y, z ; etj. i shënojmë me F1(Y), F2(x, y), F3(x, y, z) etj. Nga këto që thamë del se funksione gjykimesh janë edhe formulat : 2x2 - x - 10 0, 3x + 5y < -1, (n2 + n - 2) 3, p q, F1 ~ F2 , ku secila prej tyre shndërrohet në gjykim, kur simbolet e variablave përkatëse x, y, n, p, q, F1 F2 zëvendësohen me objekte konkrete, me vlera të caktuara . Kjo metodë e shndërrimit të gjykimeve të hapura në gjykime quhet metoda e zëvendësimit (metoda e substitucionit) .
       Kuptohet se, në përgjithësi, formulat matematike me variabla janë funksione gjykimesh, të cilat me metodën e zëvendësimit mund të shndërrohen ne gjykime.
       Gjykimi quhet i thjeshtë, nëse asnjë pjesë e tij nuk paraget gjykim më vete, e gjykimi që nuk është i thjeshtë quhet gjykim i përbërë. P. sh . 7 është gjykim i thjeshtë, ndërkaq „Nëse trekëndëshi ABC është dybrinjënjëshëm, këndet në bazën e tij janë të barabarta" - është gjykim i përbërë dhe përbëhet prej këtyre dy gjykimeve të thjeshta : „Trekëndëshi ABC është dybrinjënjëshëm" dhe „Këndet në bazën e tij (e trekëndëshit ABC) janë të barabarta".
1 .2. VEPRIMET ME GJYKIME
       Gjykimet e përbëra rëndom formohen prej gjykimeve të thjeshta me ndihmen e fjalëve: „jo", „dhe", „ose", „nëse . . . , atëhere . . ." , „atëhere e vetëm atëherë" . Këto fjalë-shprehje quhen lidhëza logjike . Duke përdorur lidhëzat logjike në gjykime kryhen operacione apo veprime themelore logjike. Kuptohet se secili gjykim i ri që formohet prej gjykimeve të dhëna me anën e veprimeve themelore logjike e ka vlerën e vet të saktësisë. Saktësia e gjykimit të përftuar varet vetëm prej saktësisë së gjykimeve që atë e formojnë . Pikërisht kjo varësi shgyrtohet në algjebrën e gjykimeve, meqë asaj nuk i interesojnë përmbajtjet e gjykimeve të formuara, por vetëm vlera e saktësisë së tyre.


1.2.1. NEGACIONI (MOHIMI) I GJYKIMIT
       Veprimi më i thjeshtë logjik që përdoret në gjykime është negacioni (mohimi), të cilit, në gjuhën e zakonshme, i përgjigjet fjalëza „jo" (ose shprehja „nuk është" ).


< 1007
faqe
- 1008 -

1009 >

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


< 1007
faqe
- 1008 -

1009 >