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