Мулохазалар хисоби - Algebra - Referatlar

Мулохазалар хисоби

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

78.5 KB

Ko'chirib olish

Мулохазалар хисоби Режа: 1. Мулохазалар хисоби ва унинг аксиомалари 2. Мулохазалар хисобида дедукция теоремаси. 3. Мулохазалар хисобининг тулалиги. 4. Мулохазалар хисобининг зиддиятсизлиги 5. Мулохазалар хисоби аксиомаларининг эрклилиги.

Мулохазалар хисоби учун формал аксиоматик L назарияни қуйидагича киритамиз: - L назариянинг символлари  ,  , (,) ва A i харфлардан иборат, бунда i натурал сон булиб , биз  ,  ларни примитив боғловчилар, A i ларни эса пропозиционал харфлар деб юритамиз. - L назарияда формула тушунчасини қуйидагича аниқланади: (а) Ҳар бир пропозиционал харф формуладир. (б) Агар A ва B лар формулалар булсалар, у холда (  A ), ( A  B ) лар формулалардир. (Кейинги уринларда ташқи қавсларни ташлаб ёзишга келишилади). (в) Ифода, агар у (а) ва (б) пунктлар ёрдамида хосил қилинган булса ва фақат шу холда формуладир. - A , B , C лар қандай формулалар булишларидан қатъий-назар, қуйидаги формулалар L нинг аксиомаларидир . ( A 1) A  ( B  A ). ( A 2) ( A  ( B  C ))  (( A  B )  ( A  C )). ( A 3) (  B  A )  ((  B  A )  B ). - L да ягона келтириб чи қ ариш қ оидаси modus ponens ( MP ) дан иборат булиб , у қ уйидагича ифодаланади : B формула A ва A  B формулаларнинг бевосита натижасидир. Биз курамизки, чексиз куп аксиомалар системаси, бор йуғи учта аксиомалар схемаси билан берилмоқда ва хар қандай формуланинг аксиома

ёки аксиома эмаслигини аниқлаш хеч қандай қийинчилик туғдирмайди, бу каби аксиомалаштирилган назариялар эффектив аксиомалаштирилган назариялар дейилади. Формулаларни қисқароқ ёзиш мақсадида яна  ,  ,  боғловчиларни қуйидаги таърифлар билан берамиз; ( D 1) ( A  B ) ифода  ( A  B ) ни билдиради. ( D 2) ( A  B ) ифода  A  B ни билдиради. ( D 3) A  B ифода ( A  B )  ( B  A ) ни билдиради. L назариянинг формулалари учун исбот тушунчасини қуйидаги таъриф ёрдамида киритамиз. Таъриф: L назариянинг A формуласи агар L нинг формулаларидан тузилган шундай A 1 ,...,A n кетма-кетлик мавжуд булиб, бунда хар-бир A i , i  {1,..., n }, ёки аксиома, ёки узидан олдинги формулаларнинг MP хулоса қилиш қоидаси буйича натижасидан иборат булса ва A n формула A формуланинг узидан иборат булса L назарияда келтириб чиқарилувчи ёки исботга эга дейилади, A 1 ,..., A n формулалар кетма-кетлиги эса A формуланинг L даги исботи дейилади. Исботга эга булган формула теорема дейилади. n сонига исбот узунлиги дейилади. Агар A формула L нинг теоремаси булса, биз бу холатни ├ A каби ёзамиз. Масалан: ├ (( A  B )  A )  B ёзув (( A  B )  A )  B формуланинг мулохазалар хисобида исботга эга эканлигини, яъни теорема эканлигини билдиради.

1- мисол: A  A формуланинг мулохазалар хисобида исботга эга эканлигин курсатинг. Бунда A мулохазалар хисобининг ихтиёрий формуласи. Ечилиши: Исбот кетма-кетлигини қурамиз: (1) ( A  (( B  A )  A ))  (( A  ( B  A ))  ( A  A )). ( A 2 аксиома ). (2) ( A  (( B  A )  A ). ( A 1 аксиома ). (3) ( A  ( B  A ))  ( A  A ). ((1), (2) дан MP буйича ). (4) ( A  ( B  A )). ( A 1 аксиома ). (5) A  A . ((3), (4) дан MP буйича ). Шундай қ илиб биз A  A формула учун таърифда айтилган исбот кетма - кетлигини қ ура олдик . Бу кетма-кетлик (1), (2), (3), (4), (5) формулалар кетма- кетлигидан иборат. Бу ерда исбот узунлиги n  5 га тенг. L назариянинг формулаларидан ташкил топган бирор  туплам берилган булсин. Бу формулалар тупламидан келтириб чиқарилувчанлик тушунчаси қуйидагича аниқланади. Таъриф ; L назариянинг A формуласи A  A n буладиган A 1 ,..., A n формулалар кетма-кетлиги мавжуд булиб, бунда i  {1,..., n }да хар бир A i ёки L нинг аксиомаси, ёки  нинг формуласи, ёки узидан олдинги формулалардан келтириб чиқариш қоидалари ёрдамида келтириб чиқарилган булганда ва фақат шу холда  нинг формулаларининг натижаси ёки  дан келтириб чиқарилган дейилади. n сонига исбот узунлиги дейилади.

Бу A 1 ,..., A n кетма-кетлик A нинг  даги исботи дейилади. Бу холда  нинг формулалари гипотезалар дейилади. A формула  дан келиб чиқади, дейиш урнига  ├ A ёзувдан фойдаланамиз. Агар  чекли булса { B 1 ,..., B n } ├ A ёзув урнига B 1, B 2 ,..., B n ├ A ёзувдан фойдаланамиз. Масалан; A , B , A  ( B  C ) ├ C ёзув C формуланинг L назарияда { A , B , A  ( B  C )} формулалар тупламидан келтириб чиқарилишини, шу формулаларнинг натижаси ёки шу тупламда исботга эга эканини билдиради. Бу исботни A , B , A  ( B  C ) гипотезалардаги исбот деб айтишимиз мумкин. Мулохазалар хисобида дедукция теоремаси. Теорема ; Aгар  формулалар туплами булиб, A , B лар формулалар булсалар ва  , A ├ B булса, у холда  ├ A  B дир. Хусусан, агар A ├ B булса, у холда ├ A  B дир. Мулохазалар хисобининг тулалиги. Биз L назарияда берилган формула учун унинг шу назарияда исботланувчи булиш ёки булмаслиги масаласини хал килиш учун бу формуланинг исбот кетма-кетлигини қуришимиз лозим булади. Шунга кура берилган формула учун исбот кетма-кетлигини умуман олганда қуриб буладими ёки йуқми деган саволга олдиндан жавоб бера олиш, хатто шу исботни кандай килиб қуриш керак, деган савол очиқ қолган тақдирда хам,

нафақат бизнинг L назариямиз, балки хар кандай аксиоматик назария учун мухим масаладир. Бу масала мулохазалар хисобида тулалик муаммоси деб юритилади. Биз бу масалани қуйидаги теоремаларда ойдинлаштирамиз. 1 - теорема: L назариянинг хар кандай теоремаси мулохазалар алгебрасининг айнан рост формуласидир. Мулохазалар хисобининг зиддиятсизлиги Масала L назарияда бир вақтнинг узида хам узи, хам инкори теорема була оладиган формуланинг бор ёки йуқлиги билан боғлиқ. Бу масала тулалик хақидаги теоремаларга асосланиб қийинчиликсиз хал килиниши мумкин. Хақиқатан хам, агар L назарияда хам A нинг узи, хам  A исботга эга буладиган A формула мавжуд деб хисоб килсак, бу холат хозиргина исбот қилинган теоремага асосан мулохазалар алгебрасида хам узи, хам инкори айнан рост буладиган A формуланинг мавжудлигига олиб келган булар эди. Бироқ, мулохазалар алгебрасида биз олдинги булимларда курганимиздек бундай формула йуқ. Иккинчи томондан, мулохазалар хисобида бир вақтнинг узида хам A , хам  A теорема буладиган A формуланинг мавжуд булиши юкоридаги 6- мисолдаги ├  A  ( A  B ) тасдиққа асосан B формуланинг ва демак, L нинг ихтиёрий формуласининг L да теорема эканлигига олиб келган булар эди.

Мулохазалар хисоби аксиомаларининг эрклилиги. Аксиоматик назариядаги аксиомаларнинг эрклилик тушунчаси назария учун танланган аксиомалар системаси ичидан хеч қайси аксиома қолган аксиомалардан шу назариядаги келтириб чиқариш қоидалари буйича келтириб чиқарилмаслигини англатади. Бизнинг L назариямиз-мулохазалар хисобининг аксиомалари системаси учун ушбу теорема уринли: Теорема: Мулохазалар алгебрасининг аксиомалари системаси эрклидир. Аксиоматик назарияда бирор аксиоманинг шу назариянинг бошқа аксиомаларидан келтириб чиқариб булмаслигини назариянинг келтириб чиқариш қоидаларининг хусусиятларидан келиб чиққан холда урнатиш мумкин. Масалан, Евклид геометрияси аксиомалардан параллеллик аксиомасининг бошқа аксиомалардан келтириб чиқариб булмаслигини аниқлаш масаласининг ечилиши узоқ тарихий даврни, Лобачевский томонидан ноевклид геометрияни яратилишигача булган даврни, босиб утди. Шундай қилиб биз келтирган L мулохазалар хисобидан иборат формал аксиоматик назария зиддиятсиз, тула, эркли аксиомалар системаси асосида қурилган назария экан. Адабиётлар:

1. Ю.Л.Ершов, Е.А.Палютин. Математическая логика.Москва «Наука»,1979. 2. И.Я.Депман. Первое знакомство с математической логикой. Ленинград. 1963. 3. В.Зегет. Элементарная логика. Москва. «Вўсшая школа». 1985. 4. Э.Мендельсон. Введение в математическую логику. Москва Наука,1976. 5. www . ziyonet . uz

O'xshashlar

Мулохазалар алгебраси

Мулохазалар алгебрасининг кулланилиши

Мулохазалар алгебрасининг асосий тенг кучлиликлари. Буль алгебраси

Математик мантик хакида тушунча. Мулохазалар ва улар устида амаллар

Предикатлар хисоби. Хосилавий келтириб чиқариш қоидалари