Кукон давлат педагогика институти

УЗБЕКИСТОН РЕСПУБЛИКАСИ ХАЛК ТАЪЛИМ ВАЗИРЛИГИ

КУКОН ДАВЛАТ ПЕДАГОГИКА ИНСТИТУТИ

«Информатика ва ХМ»

кафедраси
В:5140100 Математика - информатика

йуналиши учун

МАТЕМАТИК МАНТИК

фанидан

МАЪРУЗАЛАР МАТНИ

Тузувчи: Мансуров М.

Кукон – 2002

1-Маъруза: МУЛОХАЗАЛАР ВА УЛАР УСТИДА АМАЛЛАР
РЕЖА

1. 
   Математик логика предмети.
   
2. 
   Мулоъаза тушунчаси .
   
3. 
   Мулоъаза инкори .
   
4. 
   Мулохазалар устида логик амаллар .
   

Таянч иборалар:

Тщьри фикрлаш,мулоъаза, рост, ёльон, логик ыиймат, ростлик функцияси, мулоъаза инкори, ростлик жадвали, конoюнкция, дизoюнкция, импликация, эквалентлик.

Логика сузи грекча “логос” сузидан олинган булиб, “фикр”,

“суз”, ”ибора”,”тушинча” деган маъноларни билдиради. Логика фан сифатида эса фикрлашни урганади.Фикрлашга нафакат логика, балки фаннинг бошка йуналишлари хам, масалан физиология, писихология, кибернетика ва бошкалар урганади. Уларнинг хар бири фикирлашга турли нуктаи назар билан караб урганади. Логика фани эса тугри фикрлашнинг конун ва коидаларини урганувчи фандир. Логика фикрлаш шаклларини уша фикрни мазмунидан катий назар урганиб нимадан-нима келиб чикишини ургатиб беради ва биз кандай фикирлаяпмиз деган саволга жавоб беради.

Математик логика эса анъанавий логикадан ажралиб чиккан булиб, тугри фикирлашнинг тузилишига математик методларни куллаб урганувчи фондир. Шу билан бирга математик логика уз ичига математик назария ва теоремаларни исботлаш жараёнини хам урганади. Математика асосларини тадкик этиш билан хам шугилланади.

Мулохазалар алгебраси – мавжуд булган элементар мулохазалардан янги мулохазалар куриш усулларини ва бундай куришларнинг усулларини урганувчи фан. Мулохазалар алгебрасининг асосий урганувчи предмет мулохазадир.

Мулохаза деганда – рост ёки ёлгонлиги аник булган дарак гап, фикр, иборага айтилади.

Мулохазалар бир пайитда хам ёлгон, хам рост була олмайди. Бундан буён барча мулохазалар тупламини мавжуд деб хисоблаймиз ва бу тупламнинг элементларини элементар мулохазалар деб атаймиз. Мулохазаларни одатда лотин алифбосининг бош харифлари A,B,C...X,Y,Z билан белгиланади. Бунда индекслар хам катнашади, ... . Бундан буён бизни мулохазаларнинг мазмуни кизиктирмайди. Бизни мулохазаларнинг рост ёки ёлгонлиги кизиктиради.