МХнинг хоссалари МА билан МХ орасидаги богланиш - Алгебра - Рефераты

МХнинг хоссалари МА билан МХ орасидаги богланиш

Загружено в:

12.09.2022

Скачано:

0

Размер:

45 KB

МХнинг хоссалари. МА билан МХ орасидаги боғланиш Р ежа: 1. Нормал формага келтириш. 2. МХнинг зидсизлиги. 3. МХнинг тўлиқлиги. 4. МХнинг эркинлиги. 5. Нормал формага келтириш.

Муло х азалар х исобининг формулаларидаги х ар бир ў згарувчи муло х азага мазмун берсак , яъни ў згарувчи муло х аза ё 0 , ё 1 қ ийматни қ абул қ илади деб қ арасак , муло х азалар алгебрасининг формуласини х осил қ иламиз . Теорема . МХ нинг хар бир келтириб чиқарилувчи формуласи, агар мулохазалар алгебрасининг формуласи сифатида қаралса, МА нинг айнан рост формуласи бўлади. Исбот. Хақиқатдан хам, МХ нинг хар бир аксиомасини МА нинг формуласи сифатида қарасак, у холда бу формула айнан рост формула бўлишини кўриш қийин эмас. Бунинг учун, хар бир аксиома учун ростлик жадвалини тузиш етарли. Масалан, I 1 . А  ( В  А ) аксиома учун ростлик жадвалини тузайлик : А В В  А А  ( В  А ) 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 Шундай қилиб , хар бир аксиомани айнан рост формула деб хисоблаймиз. Айнан рост формулаларга МХ нинг келтириб чиқариш қоидаларини қўлласак, яна айнан рост формулалар хосил бўлади. ℑ ( В ) – айнан рост формула бўлсин, у холда В қандай қиймат қабул қилишидан қатъий назар, ℑ ( В )  1 бўлади. Демак, ℑ ( ℬ )  1. ℑ , ℑ  ℬ формулалар айнан рост формулалар бўлсалар, импликация амалининг таърифидан ℬ хам айнан рост формула эканлиги келиб чиқади. Таъриф. Агар аксиоматик назарияда ℑ ва  ℑ формулаларнинг кўпи билан биттаси келтириб чиқарилувчи бўлса, бундай аксиоматик назария зидсиз дейилади. Теорема. Мулохазалар хисоби зидсиз назариядир. Биз олдинги параграфларда МХ нинг хар бир келтириб чиқарилувчи

формуласи МА нинг айнан рост формуласи бўлишини кўрдик. Энди аксинча , МА нинг айнан рост формуласи МХ нинг келтириб чиқарилувчи формуласи бўладими деган масалани қарайлик. Бу масала кенг маънодаги тўлиқлик муаммоси дейилади. Теорема . Мулохазалар хисоби кенг маънода тўлиқ аксиоматик назариядир. Яъни МА нинг хар бир айнан рост формуласи МХ нинг келтириб чиқарилувчи формуласи бўлади. Натижа. МА нинг барча тенг кучли формулалари МХ да хам тенг кучли формулалардир. Масалан : А  В ∾  В   А , А  В ∾  А  В . Агар ℑ 1 , . . . , ℑ n - аксиомалар системаси берилган бўлиб , ℑ 1 аксиомани ℑ 2 , . . . , ℑ n аксиомалар системасидан келтириб чиқариб бўлмаса, ℑ 1 аксиома қолганларидан эркин дейилади. Агар аксиомалар системасидаги хар бир аксиома қолганларидан эркин бўлса, у холда аксиомалар системаси эркин дейилади. Теорема. МХ нинг аксиомалар системаси эркиндир. Исбот. ℑ i аксиома қолганларидан эркин эканлигини исбот қилиш учун ℑ i бажарилмайдиган ,қолган барча аксиомалар бажариладиган интерпретацияни кўрсатиш етарли. Хақиқатдан хам, агар ℑ i қолган аксиомалардан келтириб чиқарилганида эди бундай интерпретация мавжуд бўлмас эди. Интерпретация қуриш учун МХ нинг ўзгарувчи мулохазаларини    - қийматларни қабул қиладиган ўзгарувчилар деб қараймиз, бу ерда  - рост,  - ёлғон мулохаза қийматини билдиради.  ,  ,  ,  - амалларини қуйидаги шартлар бажариладиган қилиб аниқлаймиз : 1. ℑ i аксиомадан бошқа барча аксиомалар  қийматни қабул қилсин. 2. ℑ  дан ташқари барча аксиомалар ва келтириб чиқариш қоидалари ёрдамида исбот қилиш мумкин бўлган хар қандай формула хам  га тенг қиймат қабул қилсин.

3. ℑ i аксиомада қатнашган пропозиционал ўзгарувчиларнинг камида битта қийматлари тизимида , ℑ i нинг қиймати  га тенг бўлсин. ва формулалар , формулаларга кирган барча пропозиционал ℑ ℬ ўзгарувчиларнинг ихтиёрий қийматлари тизимида бир хил қиймат қабул қилсалар, ℑ  деб белгилашни келишиб оламиз. ℬ II 1 аксиома эркинлигининг исботини кўриб чиқамиз. Бунинг учун МХ нинг қуйидагича интерпретациясини тузамиз:  амалини А  В  В кўринишда, қолган амалларни эса, МА да қандай аниқлаган бўлсак, худди шундай аниқлаймиз. А В А  В А  В А  В  А                         I , III , IY группа аксиомаларида  амали қатнашмаганлиги хамда  ,  ,  амаллари МА дагидек аниқланганлиги сабабли бу аксиомаларнинг ростлик қийматлари фақат  га тенг бўлиши равшан. Масалан II 2 . ( А  ( В  С ))  (( А  В )  ( А  С )).Аксиомани (1) жадвал ёрдамида текшириб, фақат  га тенг бўлишини кўриш қийин эмас. II 1 . А  ( В  А ) аксиома А   , В   қийматлар қабул қилганда  га тенг бўлади ( жадвалга қаранг ). Юқорида исботланган теорема исботида МА нинг айнан рост формулаларига келтириб чиқариш қоидаларини қўллаганимизда яна айнан рост формула хосил бўлишини кўрсатганмиз.

Адабиётлар : 1. Ёқубов Т.,Каллибеков С. Математик мантиқ элементлари.Т.,1996. 2. Новиков П.С. Элементы математической логики.М.1973. 3. Чёрч А. Введение в математическую логику.М.,1960. 4. Мальцев А.И. Алгоритмы и рекурсивные функции.М.,1965. 5. ЛавровИ.А., Максимова Л.Л. Задачи по теории множеств,математической логике и теории алгоритмов.М.,1975.

Похожие

Икки векторнинг скаляр кўпайтмаси ва унинг хоссалари. Икки вектор орасидаги бурчак

Икки тўгри чизик орасидаги бурчак. Тўгри чизик ва текислик орасидаги бурчак

Икки тугри чизик орасидаги бурчак

Гармоник функциянинг хоссалари

Гармоник функциянинг хоссалари