Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги алишер навоий номидаги самарқанд давлат

Тушунчаларни 
таърифлашда 
қуйидаги 
усуллар 
мавжуд:яқин жинсдош ва турдош орқали таърифлаш: 
масалан, квадрат – тенг томонли тўғри тўртбурчак, ромб – 
диагоналлари ўзаро перпендикуляр параллелограмм, 
генетик усул – тушунчаларнинг келиб чиқишини 
кўрсатиш орқали: масалан, айлана таърифи, бунга мисол 
бўла олади. Индуктив равишда таърифлаш – реккурент 
тенгликлар 
ёрдами 
билан 
таърифлаш.Абстракт 
таърифлашда тушунчага хос белги ва хоссалар асосида 
таърифланади, 

---

3-савол. Математик ҳукмлар ва уларнинг турлари. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Математик ҳукмлар объектлар ҳақидаги фикрлар тузилмасидан 
иборат бўлиб, тушунчанинг бирор хосса ёки бошқа тушунчалар билан 
муносабатини ўрнатиш учун қўлланиладиган тафаккур шакли 
ҳисобланади, тушунчадан фарқли томони тўғри ёки ростлиги 
асосланилиши 
талаб 
этилади 
ёки 
бундай 
усул 
мавжудлиги 
кўрсатилиши лозим. 
Математик ҳукмларнинг қуйидаги турлари мавжуд: аксиомалар, 
теоремалар,постулатлар. 
Аксиомалар ҳақида гапирганда таъкидлаш керакки, исбот 
талаб қилмайдиган фикр бўлиб, математика фани асосида бундай 
бошланғич фикрлар – аксиомаларга таянилган ҳолда иш кўрилади. 
Натурал сонлар Пеано аксиомалар системасига, геометрия Евклид 
аксиомалар системаси асосида қурилиши бунга мисол бўла олади. 
Аксиомалар бошланғич таърифланмайдиган тушунчалар орасидаги 
дастлабки муносабатларни ифодалаш учун ишлатилиб, шу асосда 
назарий қоида ва теоремалар келтириб чиқарилади. Масалан, бир 
тўғри чизиқда ётмайдиган учта нуқта орқали фақат битта текислик 
ўтказиш мумкин. 
Теоремалар эса математик хукмларнинг энг кўп ишлатиладиган 
тури 
бўлиб, 
у 
аксиомалар 
ёрдамида 
ўрнатилаётган 
назарий 
натижаларни ифода этиб, исботланиши талаб этилади. Теорема икки 
қисмдан иборат:шарт ва хулоса ва А

В шаклда белгиланиши 
мумкин .Берилган теоремага асосланиб учта теоремани тузиш мумкин: 
тескари теорема В
А, қарама-қарши теорема  А
; тескарига 
қарама –қарши . 



---