Alisher navoiy nomidagi samarqand davlat universiteti hisoblash usullari

Dyeduksiya  lotincha  dyeduktio  –  kyeltirib  chikarish  ma’nosini  anglatib,  tasdikning  bir 
shakli  bo’lib,  bitta  umumiy  xukmdan  va  bitta  xususiy  xukmdan  yangi  unchalik  umumiy 
bo’lmagan  yoki  xususiy  xukm  kyeltirib  chikariladi.  Umumiy  xukm  EKUB  (6,7)  =1.  Yangi 
xususiy xukm: 6 va 7 o’zaro tub sonlar.  

---

 
71
Dyeduktiv  xulosalar  uch  xilda  bo’ladi:  a)  umumiyrok  koidadan  umumiyrok  bo’lmagan 
(yoki  birlik)  xukmga  o’tish,  masalan,  yukoridagi  misol  bundan  dalolat  byeradi;  b)  umumiy 
koidadan umumiy koidaga o’tish  
(masalan,  barcha   juft sonlar 2 ga bo’linadi,  barcha tok sonlar 2 ga  bo’linmaydi,  xyech kanday 
juft son bir vaktda tok son xam  bo’lolmaydi);  
v) birlikdan xususiyga o’tish ( 2 soni-tub son, 2 –natural son, ba’zi natural sonlar tub sonlardir).  
Matyematikada  yana  matyematik  induksiya  prinsipi  mavjudki,  u  orkali  ko’pgina 
muloxxazalarni  isbotlash  mumkin  bo’ladi.Uning  boskichlari  kuyidagilardan  iborat:  1)  kuzatish 
va tajriba; 2)faraz; 3) farazni asoslash( isbotlash). U uch kadamda amalga oshirilishi mumkin: 1) 
p=1 uchun  muloxaza to’griligi tyekshiriladi: 2)p=k uchun  muloxaza to’gri dyeb,  muloxazaning 
p=k+1  uchun  to’griligi  isbotlanadi.3)  isbotning    oldingi  ikki  kadami  va  matyematik  induksiya 
prinsipiga  asosan  tyeoryema  yoki  muloxaza  xar  kanday  p  uchun  to’gri  dyegan  xulosaga 
kyelinadi.  Bundan  o’kitishda  kyeng  ko’llanib,  turli  xil  sonli  tyengliklar  va  tyengsizliklarni 
isbotlashda foydalanish mumkin.