Alisher navoiy nomidagi samarqand davlat universiteti hisoblash usullari

Matematik xukmlar obyektlar xakidagi fikrlar tuzilmasidan iborat bo’lib, tushunchaning 
biror  xossa  yoki  boshka  tushunchalar  bilan  munosabatini  o’rnatish  uchun  ko’llaniladigan 
tafakkur  shakli  xisoblanadi,  tushunchadan  farkli  tomoni  to’gri  yoki  rostligi  asoslanilishi  talab 
etiladi yoki bunday usul mavjudligi ko’rsatilishi lozim. 
Matematik xukmlarning kuyidagi turlari mavjud: aksiomalar, teoremalar,postulatlar. 
Aksiomalar  xakida  gapirganda  ta’kidlash  kerakki,  isbot  talab  kilmaydigan  fikr  bo’lib, 
matematika  fani  asosida  bunday  boshlangich  fikrlar  –  aksiomalarga  tayanilgan  xolda  ish 
ko’riladi.  Natural  sonlar  Peano  aksiomalar  sistemasiga,  geometriya  Yevklid  aksiomalar  
sistemasi  asosida  kurilishi  bunga  misol  bo’la  oladi.  Aksiomalar  boshlangich  ta’riflanmaydigan 
tushunchalar  orasidagi  dastlabki  munosabatlarni  ifodalash  uchun  ishlatilib,  shu  asosda  nazariy 

---

 
49
koida  va teoremalar keltirib   chikariladi.  Masalan, bir to’gri chizikda  yotmaydigan uchta  nukta 
orkali fakat bitta tekislik o’tkazish mumkin. 
Teoremalar esa matematik xukmlarning eng ko’p ishlatiladigan turi bo’lib, u aksiomalar 
yordamida o’rnatilayotgan  nazariy  natijalarni  ifoda etib,  isbotlanishi talab etiladi. Teorema  ikki 
kismdan    iborat:shart  va  xulosa  va  A   
   V  shaklda  belgilanishi  mumkin  .Berilgan  teoremaga 
asoslanib uchta teoremani  tuzish mumkin: teskari teorema V
 A, karama-karshi teorema   A
 ; teskariga karama –karshi . 
Teoremaning turlari orasida kuyidagi  boglanish  mavjud: agar to’gri teorema rost bo’lsa, 
karama-karshi  teorema  xam  rost  va  aksincha.  Teskari  teorema  rost  bo’lsa,  teskariga  karama-
karshi teorema xam rost bo’ladi.