мхнинг хоссалари ма билан мх орасидаги богланиш

DOC 45,0 КБ Бесплатная загрузка

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇

1662975945.doc мхнинг хоссалари. ма билан мх орасидаги боғланиш режа: 1. нормал формага келтириш. 2. мхнинг зидсизлиги. 3. мхнинг тўлиқлиги. 4. мхнинг эркинлиги. 5. нормал формага келтириш. мулохазалар хисобининг формулаларидаги хар бир ўзгарувчи мулохазага мазмун берсак, яъни ўзгарувчи мулохаза ё 0 , ё 1 қийматни қабул қилади деб қарасак, мулохазалар алгебрасининг формуласини хосил қиламиз. теорема. мх нинг хар бир келтириб чиқарилувчи формуласи, агар мулохазалар алгебрасининг формуласи сифатида қаралса, ма нинг айнан рост формуласи бўлади. исбот. хақиқатдан хам, мх нинг хар бир аксиомасини ма нинг формуласи сифатида қарасак, у холда бу формула айнан рост формула бўлишини кўриш қийин эмас. бунинг учун, хар бир аксиома учун ростлик жадвалини тузиш етарли. масалан, i1. а ( ( в ( а ) аксиома учун ростлик жадвалини тузайлик : а в в ( а а ( ( в ( а ) 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 …

нг кучли формулалари мх да хам тенг кучли формулалардир. масалан : а ( в ∾ ( в ( ( а , а ( в ∾ ( а ( в . агар ℑ 1 , . . . , ℑ n - аксиомалар системаси берилган бўлиб , ℑ1 аксиомани ℑ2 , . . . , ℑn аксиомалар системасидан келтириб чиқариб бўлмаса, ℑ1 аксиома қолганларидан эркин дейилади. агар аксиомалар системасидаги хар бир аксиома қолганларидан эркин бўлса, у холда аксиомалар системаси эркин дейилади. теорема. мх нинг аксиомалар системаси эркиндир. исбот. ℑi аксиома қолганларидан эркин эканлигини исбот қилиш учун ℑi бажарилмайдиган ,қолган барча аксиомалар бажариладиган интерпретацияни кўрсатиш етарли. хақиқатдан хам, агар ℑi қолган аксиомалардан келтириб чиқарилганида эди бундай интерпретация мавжуд бўлмас эди. интерпретация қуриш учун мх нинг ўзгарувчи мулохазаларини ( ( ( - қийматларни қабул қиладиган ўзгарувчилар деб қараймиз, бу ерда ( - рост, ( - ёлғон мулохаза қийматини билдиради. ( , ( , …

) ( (( а (в ) ( ( а ( с )).аксиомани (1) жадвал ёрдамида текшириб, фақат ( га тенг бўлишини кўриш қийин эмас. ii1. а ( ( в ( а ) аксиома а ( ( , в ( ( қийматлар қабул қилганда ( га тенг бўлади ( жадвалга қаранг ). юқорида исботланган теорема исботида ма нинг айнан рост формулаларига келтириб чиқариш қоидаларини қўллаганимизда яна айнан рост формула хосил бўлишини кўрсатганмиз. адабиётлар : 1. ёқубов т.,каллибеков с. математик мантиқ элементлари.т.,1996. 2. новиков п.с. элементы математической логики.м.1973. 3. чёрч а. введение в математическую логику.м.,1960. 4. мальцев а.и. алгоритмы и рекурсивные функции.м.,1965. 5. лаврови.а., максимова л.л. задачи по теории множеств,математической логике и теории алгоритмов.м.,1975.

мхнинг хоссалари ма билан мх орасидаги богланиш - Page 4

мхнинг хоссалари ма билан мх орасидаги богланиш - Page 5

Хотите читать дальше?

Скачайте полный файл бесплатно через Telegram.

Скачать полный файл

О "мхнинг хоссалари ма билан мх орасидаги богланиш"

1662975945.doc мхнинг хоссалари. ма билан мх орасидаги боғланиш режа: 1. нормал формага келтириш. 2. мхнинг зидсизлиги. 3. мхнинг тўлиқлиги. 4. мхнинг эркинлиги. 5. нормал формага келтириш. мулохазалар хисобининг формулаларидаги хар бир ўзгарувчи мулохазага мазмун берсак, яъни ўзгарувчи мулохаза ё 0 , ё 1 қийматни қабул қилади деб қарасак, мулохазалар алгебрасининг формуласини хосил қиламиз. теорема. мх нинг хар бир келтириб чиқарилувчи формуласи, агар мулохазалар алгебрасининг формуласи сифатида қаралса, ма нинг айнан рост формуласи бўлади. исбот. хақиқатдан хам, мх нинг хар бир аксиомасини ма нинг формуласи сифатида қарасак, у холда бу формула айнан рост формула бўлишини кўриш қийин эмас. бунинг учун, хар бир аксиома учун ростлик жадвалини тузиш етарли. масалан, i1. а ( ( в ( а ) аксиома...

Формат DOC, 45,0 КБ. Чтобы скачать "мхнинг хоссалари ма билан мх орасидаги богланиш", нажмите кнопку Telegram слева.

Теги: мхнинг хоссалари ма билан мх ор… DOC Бесплатная загрузка Telegram