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

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

236.5 KB

Ko'chirib olish

Мулохазалар алгебраси Режа: 1. Мулохаза тушунчаси. 2. Мулохазалар алгебрасида ечилиш проблемаси . нормал формалар 3. Дизъюнктив ва конъюнктив нормал формалар 4. Мукаммал дизъюнктив ва мукаммал конъюнктив нормал формалар

$Тенг кучли формулалар ва тенг кучли алмаштиришлар Мулохаза тушунчаси математикадаги бошлан\ич тушунчалардан бири хисобланади. Математик манти=да, мулохаза деб, рост ёки ёл\онлиги ха=ида гапириш мумкин былган хар =андай дарак гапга айтилади. 1. Сыро= ва ундов гаплар мулохаза хисобланмайдилар. Масалан, «Соли мактабга келасанми?», «Яшасин янги йил!» гаплари мулохаза хисобланмайдилар. 2. Баъзи гапларнинг рост ёки ёл\онлигини бир =ийматли ани=лаш мумкин эмас. Масалан: «Лолахон чиройли =из», «Ромсозлик =ийин касб», «Бугун хаво яхши эмас» каби гапларни келтириш мумкин. Бу гапларни рост ёки ёл\онлигини субъектив сабабларга кыра ани=лаш мумкин эмас. 3. Шундай гаплар хам борки, бу гапларнинг таркибида =андайдир объектларнинг умумий номлари-номаълумлар иштирок этади. Масалан, « x сон y сонга былинади», « x рационал сон», « sinx  cosx  0», « sinx 2 1 », « x Норин туманининг маркази», « x  2  81», « x =из y =изнинг дугонаси», « z бугун 60 кг пахта терди». Ани=ки, бу гапларни мулохаза дея олмаймиз, чунки уларнинг рост ёки ёл\онлигини ани=лашда, гап таркибидаги номаълумлар хала=ит беради. Аммо, бу гаплар таркибидаги номаълумларни бирор тыпламнинг элементлари билан алмаштирсак, улар рост ёки ёл\он мулохазаларга айланиши мумкин. Масалан, биринчи мисолда x ва y ызгарувчиларга маълум бир бутун сонларни, иккинчи мисолда x ырнига рационал сонларни, учинчи мисолда x ырнига ха=и=ий сонларни, тыртинчи мисолда хам ха=и=ий сонларни, бешинчи мисолда x ырнига туман марказлари номларини, олтинчи мисолда x ырнига натурал сонларни, еттинчи мисолда x ва y лар ырнига =излар номларини, саккизинчи мисолда z ырнига одамларни номларини =ыйилганда рост ёки ёл\он мулохазаларни хосил =иламиз. Шундай =илиб, ю=орида кырсатилган уч типга кирувчи гаплар хам мулохаза хисобланмайдилар. Бундан сынг мулохазаларни лотин алфавитининг катта A, B, C , ... харфлари билан белгилаймиз. Агар бизга A ва B мулохазалари берилган былса, улардан «ва», «ёки», «агар ... былса, у холда ... былади», «шу холда ва фа=ат шу холда» бо\ловчилари, хамда «эмас» юкламаси ёрдамида янги мулохазаларни хосил =илишимиз мумкин. Мулохазалар ыртасидаги$ $манти=ий бо\ловчиларни мулохазалар устида бажариладиган манти=ий амаллар (операциялар) деб =араш мумкин. Агар =аралаётган мулохаза, камида иккита мулохазага былинмаса, яъни ю=орида келтирилган манти=ий амаллар воситасида камида иккита мулохаза ор=али ифодаланмаса, у холда бундай мулохазани элементар мулохаза дейилади. Масалан, «Ём\ир ё\ди», «6 туб сон», « sin 0  0», «4>1», «Бир йил ын икки ойдан иборат» мулохазалари элементар, «Агар тыртбурчакнинг =арама- =арши томонлари тенг былса, у холда бу тыртбурчак параллелограммдир», «Агар 2>3 былса, у холда Лондон шахри Германиянинг пойтахтидир» мулохазалари эса мураккаб мулохазалардир. Мулохазалар манти=ида мулохазаларни мазмунига ёки маъносига кыра =аралмасдан, фа=ат уни ростлиги ёки ёл\онлигини хисобга олиб фикр юритилади. Агар бирор A элементар мулохаза рост былса, унинг ростлик =иймати- «Рост», ёл\он былса, унинг ростлик =иймати- «Ёл\он» =ийматни =абул =илади деб, мос равишда А мулохазанинг ростлик =ийматларини P (1) ва Ё (0) харфлари (ра=амлари) билан белгилаймиз. Мураккаб мулохазанинг ростлик =иймати, уни таркибига кирувчи элементар мулохазаларнинг ростлик =ийматларидан фойдаланиб ани=ланади. Тенг кучли формулалар ва тенг кучли алмаштиришлар Мулохазалар алгебрасининг ихтиёрий формуласи ызининг ростлик жадвали билан характерланади. 1 - мисол. C B A 7  формулага ушбу ростлик жадвали мос келади. A B С C7 C B 7  C B A 7  Р Р Р Ё Ё Ё Р Р Ё Р Р Р Р Ё Р Ё Ё Ё Р Ё Ё Р Ё Ё Ё Р Р Ё Ё Р Ё Р Ё Р Р Р Ё Ё Р Ё Ё Р Ё Ё Ё Р Ё Р$

Таъриф . Агар мулохазалар алгебрасининг  nA A A F ,...2 1 1 ва  nA A A F ,...2 1 2 формулалари пропозиционал ызгарувчилар мос =ийматларининг барча наборларида бир хил =иймат =абул =илсалар, бу формулаларни тенг кучли формулалар дейилади.  nA A A F ,...2 1 1 ва  nA A A F ,...2 1 2 формулаларни тенг кучли эканлигини  nA A A F ,...2 1 1   nA A A F ,...2 1 2 кыринишда ёзилади. Таърифга кыра 1- ва 2- мисоллардаги формулалар тенг кучлидир, яъни    C A B A C B A       7 7 7 . Манти=ий амалларнинг таърифидан фойдаланиб баъзи тенг кучлиликларни бевосита исботлаш мумкин, масалан; ,A B B A    ,A B B A    A A  77 ,   A A7 Ё,   A A7 Р муносабатлар ыринлидир. Таърифга кыра, формулаларнинг тенг кучли эканлигини ани=лашнинг умумий усули =уйидагича; Щар бир формула учун ростлик жадвали тузилади, пропозиционал ызгарувчиларнинг бир хил наборларида формулаларнинг =абул =иладиган =ийматлари солиштирилади, агар наборларнинг барча мос комбинацияларида формулаларнинг =ийматлари бир хил былса, бу формулалар тенг кучли былади. +уйидаги тенгкучлиликлар, мулохазалар логикасининг асосий тенг кучлиликлари хисобланадилар. 1. A B B A    / конъюкциянинг ырин алмашувчанлиги / . 2. A B B A    / дизъюнкциянинг ырин алмашувчанлиги / . 3.     C B A C B A      / конъюнкциянинг ассоциативлиги / . 4.     C B A C B A      / дизъюнкциянинг ассоциативлиги / . 5.    CABACBA  / дизъюнкциянинг конъюнкцияга нисбатан дистрибутивлиги / . 6.      C A B A C B A       / конъюнкциянинг дизъюнкцияга нисбатан дистрибутивлиги / . 7. A A A   / конъюнкциянинг идемпотентлиги / . 8. A A A   / дизъюнкциянинг идемпотентлиги / . 9. A P A   . 10 10. Р P A   . 11. Ё Ё A   .

$11 12. A Ё A   . 12 13. Ё A A   7 . 13 14 P A A   7 . 14 15.   B A B A 7 7 7    / де Морган тенгкучлиликлари / . 15 16.   B A B A 7 7 7    / де Морган тенгкучлиликлари / . 16 17. B A B A    7 / импликациянинг инкор ва конъюнкция билан ифодаланиши / . 17 18. A A  77 / =ыш инкор тенгкучлилиги / . 18 19.    A B B A B A      . Кырилган тенг кучлиликларнинг хар бирининг ыринли эканлигини ростлик жадвалларини тузиш ёрдамида исботлаш мумкин. Бу тенг кучлиликлар ёрдамида, берилган формулага тенг кучли формулаларни хосил =илиш, берилган формулаларнинг тенг кучлилигини ани=лаш, формулаларни соддаро= кыринишга келтириш, хамда берилган формулани айнан рост, айнан ёл\он, бажарилувчи эканлигини ани=лаш мумкин. Биз мулохазалар алгебрасида формула тушунчасини киритишда мулохазалар тыпламидан олинган хар =андай элементар мулохазага бирор пропозиционал ызгарувчини мос =ыйган эдик. Шу муносабат билан аввал таърифларини келтирганимиз, айнан рост, айнан ёл\он ва бажарилувчи мулохазаларни, формула тушунчасини =ыллаб, мос равишда айнан рост формула, айнан ёл\он формула, бажарилувчи формула тушунчалари билан бир хил тушунчалар деб =араймиз. Шунингдек, формула тушунчаси ёрдамида таърифлаганимизда тенг кучли формулалар тушунчасини хам тенг кучли мулохазалар тушунчаси билан бир хил деб хисоблаймиз. Умуман мулохазалар алгебрасида мулохазалар алгебрасининг формуласи деганда =андайдир мулохазани назарда тутамиз. Щар =андай мулохазага бирор формула мос келиши ва формулалар учун кыриб чи=илган тенг кучлиликларни хисобга олиб, мулохазалар учун хам тенг кучлиликларни =ыллаш мумкин, яъни мулохазани бош=а бирор тенг кучли мулохазага алмаштириш, берилган мулохазаларни тенг кучлилигини ани=лаш, мураккаб мулохазани айнан рост ёки айнан ёл\он эканлигини ани=лаш мумкин. Мулохазалар алгебрасида ечилиш проблемаси . нормал формалар Биз ю=орида кырдикки, мулохазалар алгебрасининг хар =андай фомуласи ё айнан рост (тавтология), ё айнан ёл\он (зиддиятли), ё бажарилувчи былар экан.$ $Берилган формуланинг ю=орида айтилган синфлардан =ай бирига тегишли былишини ани=лаш масаласи мухим ахамиятга эга былиб, бу масала мулохазалар алгебрасида ечилиш проблемаси номи билан аталади. Биз ю=орида хар =андай формула учун бу масалани хал =илиш усулларидан бири былган жадвал усули билан танишдик. Бу усул жуда содда ва равшан былишига =арамай, айрим но=улайликларга эгадир. Масалан, тырт пропозиционал ызгарувчили формулани текшириш учун 2 4 яъни 16 сатрга эга былган жадвал тузишга, n ызгарувчили формулани текшириш учун эса, 2 n сатрга эга былган жадвал тузишга ты\ри келади. Бундай жадвални тузиб, натижани ани=лаш, амалий жихатдан равшанки бир мунча =ийинчилик ту\ диради. Табиий, шу муносабат билан бу масалани хал этишни бош=а, аввалги усулидан фар=ли усули бормикан деган савол ту\илади. +уйида бу саволга формулаларнинг «нормал формаси» тушунчаси жавоб беради. Дизъюнктив ва конъюнктив нормал формалар Бундан кейин, ёзувни янада соддалаштириш ма=садида, мулохазанинг =иймати ростлигини ифодаловчи Р ырнига 1 ра=амидан, ёл\он =ийматини ифодаловчи Ё ырнига 0 ра=амидан фойдаланамиз. Баъзи холларда эса, A B ф o рмулани A  B кыринишда ёзамиз, хамда A,  A формулалар учун ушбу белгилашни киритамиз:     былса агар былса агар 0 , 7 1 ,    A A A яъни, A A A A 7 , 0 1   деб хисоблаймиз. 2 - таъриф: n   ,..., , 2 1 ызгарувчиларнинг хар бири 0 ёки 1 =ийматларни =абул =илганларида )1 (, ... 2 2 1 1     n i i i i A A A n n    формулага элементар конъюнкция дейилади. 3 - таъриф: n   ,..., , 2 1 ызгарувчиларнинг хар бири 0 ва 1 =ийматларни =абул =илганларида )1 ( , ... 22 11     n i i i i A A A nn    формулага элементар дизъюнкция дейилади. 6 - таъриф: Элементар дизъюнкцияларнинг хар =андай конъюнкциясидан ташкил топган формула конъюнктив нормал форма (КНФ) ёки коньюктив нормал формадаги формула дейилади.$ $Мукаммал дизъюнктив ва мукаммал конъюнктив нормал формалар . 7-таъриф: Щар бир пропозиционал ызгарувчининг ё ызи, ё инкори бир мартадан орти= =атнашмаган элементар конъюнкция ты\ри элементар конъюнкция дейилади. Мисоллар: Таърифга кыра D C B A B A B A A      7 , 7 , , формулалар ты\ри элементар конъюнкциялардир. D D C B B A A      , 7 формулалар эса, элементар конъюнкциялар былгани холда, ты\ри элементар конъюнкциялар эмас, чунки A A 7  элементар конъюнкцияда A ызгарувчи ызининг инкори билан, B  B  C  D  D формулада эса B , D пропозиционал ызгарувчилар икки мартадан =атнашмо=да. 8 - таъриф: Щар бир пропозиционал ызгарувчининг ё ызи ё инкори бир мартадан орти= =атнашмаган элементар дизъюнкция ты\ри элементар дизъюнкция дейилади. 9 - таъриф: nA A A ,...., , 2 1 пропозиционал ызгарувчилардан ташкил топган ты\ри элементар конъюнкцияда, хар бир ызгарувчи роса бир марта =атнашган былса, бу ты\ри элементар конъюнкция, nA A A ,...., , 2 1 пропозиционал ызгарувчиларга нисбатан тыли= элементар конъюнкция дейилади. 10 - таъриф: nA A A ,...., , 2 1 пропозиционал ызгарувчиларда ташкил топган ты\ри элементар дизъюнкцияда, хар бир ызгарувчи роса бир марта =атнашган былса, бу ты\ри элементар дизъюнкция nA A A ,...., , 2 1 пропозиционал ызгарувчиларга нисбатан тыли= элементар дизъюнкция дейилади. 11 - таъриф: Мулохазалар алгебрасининг nA A A ,...., , 2 1 пропозиционал ызгарувчилардан ташкил топган ) ,....., , ( 2 1 nA A A F формуласининг мукаммал дизъюнктив нормал форма (МДНФ) си деб, шу формуланинг таркибида бир хил элементар конъюнкциялар былмаган, хамда барча элементар конъюнкциялари nA A A ,...., , 2 1 ызгарувчиларга нисбатан ты\ри, тыли= былган ДНФ сига айтилади.$ $Таърифга биноан, айнан ёл\он формула учун МДНФ мавжуд эмас, чунки агар унинг учун МДНФ мавжуд быладиган былса, бундай МДНФнинг таркибидаги хар бир =ышилувчи элементар конъюнкция айнан ёл\он былмо\ и лозим. Буни былиши МДНФ таркибидаги элементар конъюнкцияларда пропозиционал ызгарувчининг хам ызи, хам инкорини =атнашишини та=озо =илади. Бу холат формула учун МДНФ таърифидаги в) пунктни бажарилмаслигини билдиради. 12 - таъриф . Мулохазалар алгебрасининг nA A A ,...., , 2 1 пропозиционал ызгарувчилардан ташкил топган ) ,....., , ( 2 1 nA A A F формуласининг мукаммал конъюнктив нормал форма (МКНФ) си деб, шу формуланинг таркибида бир хил элементар дизъюнкциялар былмаган, хамда барча элементар дизъюнкциялари nA A A ,...., , 2 1 ызгарувчиларига нисбатан ты\ри ва тыли= былган КНФ сига айтилади. 1 - теорема: Мулохазалар манти=ининг айнон ёл\он былмаган хар =андай ) ,...., , ( 2 1 nA A A F формуласи ягона МДНФга тенг кучлидир. 1 - натижа: Тенг кучли формулалар бир хил МДНФ га эга былади. 2 - натижа: Таркибида n та хар хил ызгарувчилар =атнашган формула айнан рост былиши учун унинг МДНФ си роса 2 n та хар хил тыли= конъюнкциялар дизъюнкциясидан иборат былиши зарур ва етарлидир. 3 - натижа: Мулохазалар алгебрасини хар =андай формуласининг инкори, шу формула МДНФ сига кирмайдиган тыли= конъюнкцияларнинг ва фа=ат шуларнинг дизъюнкциясидан иборатдир. Мулохазалар алгебрасини формулалари МКНФ си учун хам худди ю=оридаги каби ушбу теореманинг ыринли былишини кырсатиш мумкин. 2 - теорема: Мулохазалар алгебрасининг айнан рост былмаган хар =андай ) ,...., , ( 2 1 nA A A F формуласи ягона МКНФ га тенг кучлидир. 1 - натижа: Тенг кучли формулалар бир хил МКНФ га эга былади. 2 - натижа: Таркибида n та хар хил ызгарувчилар =атнашган формула айнан ёл\он былиши учун унинг МКНФ си 2 n та хар хил тыли= элементар дизъюнкцияларнинг конъюнкциясидан иборат былиши зарур ва етарлидир.$ $3 - натижа: Мулохазалар алгебрасининг хар =андай формуласининг инкори шу формула МКНФ сига кирмаган тыли= элементар дизъюнкцияларнинг ва фа=ат шуларнинг конъюнкциясидан иборат былади. Ю=орида келтирилган теоремалар ва уларнинг натижалари ёрдамида мулохазалар алгебрасининг хар =андай формуласини айнан рост, айнан ёл\он ёки бажарилувчи формула былишини ростлик жадвалидан фойдаланмай ани=лаш мумкин. Шунингдек, берилган =ийматлар наборларига кыра мулохазалар алгебрасининг формуласини тузиш мумкин. Умуман, мулохазалар алгебрасиининг кыпгина масалаларини мукаммал нормал формалар ёрдамида осон хал =илиш мумкин.$ Адабиётлар: 1. Ю.Л.Ершов, Е.А.Палютин. Математическая логика.Москва «Наука»,1979. 2. И.Я.Депман. Первое знакомство с математической логикой. Ленинград. 1963. 3. В.Зегет. Элементарная логика. Москва. «Высшая школа». 1985. 4. Э.Мендельсон. Введение в математическую логику. Москва Наука,1976. 5. www . ziyonet . uz

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

O'xshashlar

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

Векторлар алгебраси

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

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

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