Alisher navoiy nomidagi samarqand davlat universiteti hisoblash usullari

Matyematik  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. 
Matyematik xukmlarning kuyidagi turlari mavjud: aksiomalar, tyeoryemalar,postulatlar. 
Aksiomalar  xakida  gapirganda  ta’kidlash  kyerakki,  isbot  talab  kilmaydigan  fikr  bo’lib, 
matyematika  fani  asosida  bunday  boshlangich  fikrlar  –  aksiomalarga  tayanilgan  xolda  ish 
ko’riladi.  Natural  sonlar  Pyeano  aksiomalar  sistyemasiga,  gyeomyetriya  Yevklid  aksiomalar  
sistyemasi asosida kurilishi bunga misol bo’la oladi. Aksiomalar boshlangich ta’riflanmaydigan 
tushunchalar  orasidagi  dastlabki  munosabatlarni  ifodalash  uchun  ishlatilib,  shu  asosda  nazariy 
koida  va  tyeoryemalar  kyeltirib    chikariladi.  Masalan,  bir  to’gri  chizikda  yotmaydigan  uchta 
nukta orkali fakat bitta tyekislik o’tkazish mumkin. 

---

 
73
Tyeoryemalar  esa  matyematik  xukmlarning  eng  ko’p  ishlatiladigan  turi  bo’lib,  u 
aksiomalar  yordamida  o’rnatilayotgan  nazariy  natijalarni  ifoda  etib,  isbotlanishi  talab  etiladi. 
Tyeoryema  ikki  kismdan    iborat:shart  va  xulosa  va  A   
   V  shaklda  byelgilanishi  mumkin 
.Byerilgan tyeoryemaga asoslanib uchta tyeoryemani  tuzish  mumkin: tyeskari tyeoryema V

A, karama-karshi tyeoryema   A
 ; tyeskariga karama –karshi . 
Tyeoryemaning  turlari  orasida  kuyidagi  boglanish  mavjud:  agar  to’gri  tyeoryema  rost 
bo’lsa,  karama-karshi  tyeoryema  xam  rost  va  aksincha.  Tyeskari  tyeoryema  rost  bo’lsa, 
tyeskariga karama-karshi tyeoryema xam rost bo’ladi.