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

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

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

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

1662886689.doc 2 1 c b a 7 ù ® c 7 c b 7 ù c b a 7 ù ® ( ) n a a a f ,... 2 1 1 ( ) n a a a f ,... 2 1 2 ( ) n a a a f ,... 2 1 1 ( ) n a a a f ,... 2 1 2 ( ) n a a a f ,... 2 1 1 º ( ) n a a a f ,... 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 a 7 º ú a a 7 a b b a ù º ù / / a b b …

$озлик =ийин касб», «бугун хаво яхши эмас» каби гапларни келтириш мумкин. бу гапларни рост ёки ёл\онлигини субъектив сабабларга кыра ани=лаш мумкин эмас. 3. шундай гаплар хам борки, бу гапларнинг таркибида =андайдир объектларнинг умумий номлари-номаълумлар иштирок этади. масалан, «x сон y сонга былинади», «x рационал сон», «sinx(cosx(0», «sinx( », «x норин туманининг маркази», «x(2(81», «x =из y =изнинг дугонаси», «z бугун 60 кг пахта терди». ани=ки, бу гапларни мулохаза дея олмаймиз, чунки уларнинг рост ёки ёл\онлигини ани=лашда, гап таркибидаги номаълумлар хала=ит беради. аммо, бу гаплар таркибидаги номаълумларни бирор тыпламнинг элементлари билан алмаштирсак, улар рост ёки ёл\он мулохазаларга айланиши мумкин. масалан, биринчи мисолда x ва y ызгарувчиларга маълум бир бутун сонларни, иккинчи мисолда x ырнига рационал сонларни, учинчи мисолда x ырнига ха=и=ий сонларни, тыртинчи мисолда хам ха=и=ий сонларни, бешинчи мисолда x ырнига туман марказлари номларини, олтинчи мисолда x ырнига натурал сонларни, еттинчи мисолда x ва y лар ырнига =излар номларини, саккизинчи мисолда …$

$» мулохазалари элементар, «агар тыртбурчакнинг =арама-=арши томонлари тенг былса, у холда бу тыртбурчак параллелограммдир», «агар 2>3 былса, у холда лондон шахри германиянинг пойтахтидир» мулохазалари эса мураккаб мулохазалардир. мулохазалар манти=ида мулохазаларни мазмунига ёки маъносига кыра =аралмасдан, фа=ат уни ростлиги ёки ёл\онлигини хисобга олиб фикр юритилади. агар бирор a элементар мулохаза рост былса, унинг ростлик =иймати- «рост», ёл\он былса, унинг ростлик =иймати- «ёл\он» =ийматни =абул =илади деб, мос равишда а мулохазанинг ростлик =ийматларини p (1) ва ё (0) харфлари (ра=амлари) билан белгилаймиз. мураккаб мулохазанинг ростлик =иймати, уни таркибига кирувчи элементар мулохазаларнинг ростлик =ийматларидан фойдаланиб ани=ланади. тенг кучли формулалар ва тенг кучли алмаштиришлар мулохазалар алгебрасининг ихтиёрий формуласи ызининг ростлик жадвали билан характерланади. 1-мисол. формулага ушбу ростлик жадвали мос келади. a b с р р р ё ё ё р р ё р р р р ё р ё ё ё р ё ё р ё ё ё р р ё ё р ё …$

$. дизъюнкциянинг ырин алмашувчанлиги . 3. конъюнкциянинг ассоциативлиги . 4. дизъюнкциянинг ассоциативлиги . 5. дизъюнкциянинг конъюнкцияга нисбатан дистрибутивлиги . 6. конъюнкциянинг дизъюнкцияга нисбатан дистрибутивлиги . 7. конъюнкциянинг идемпотентлиги . 8. дизъюнкциянинг идемпотентлиги . 9. . 10. . 11. . 12. . 13. . 14 . 15. де морган тенгкучлиликлари . 16. де морган тенгкучлиликлари . 17. импликациянинг инкор ва конъюнкция билан ифодаланиши . 18. =ыш инкор тенгкучлилиги . 19. . кырилган тенг кучлиликларнинг хар бирининг ыринли эканлигини ростлик жадвалларини тузиш ёрдамида исботлаш мумкин. бу тенг кучлиликлар ёрдамида, берилган формулага тенг кучли формулаларни хосил =илиш, берилган формулаларнинг тенг кучлилигини ани=лаш, формулаларни соддаро= кыринишга келтириш, хамда берилган формулани айнан рост, айнан ёл\он, бажарилувчи эканлигини ани=лаш мумкин. биз мулохазалар алгебрасида формула тушунчасини киритишда мулохазалар тыпламидан олинган хар =андай элементар мулохазага бирор пропозиционал ызгарувчини мос =ыйган эдик. шу муносабат билан аввал таърифларини келтирганимиз, айнан рост, айнан ёл\он ва бажарилувчи мулохазаларни, формула тушунчасини =ыллаб, мос …$

$икки, мулохазалар алгебрасининг хар =андай фомуласи ё айнан рост (тавтология), ё айнан ёл\он (зиддиятли), ё бажарилувчи былар экан. берилган формуланинг ю=орида айтилган синфлардан =ай бирига тегишли былишини ани=лаш масаласи мухим ахамиятга эга былиб, бу масала мулохазалар алгебрасида ечилиш проблемаси номи билан аталади. биз ю=орида хар =андай формула учун бу масалани хал =илиш усулларидан бири былган жадвал усули билан танишдик. бу усул жуда содда ва равшан былишига =арамай, айрим но=улайликларга эгадир. масалан, тырт пропозиционал ызгарувчили формулани текшириш учун 24 яъни 16 сатрга эга былган жадвал тузишга, n ызгарувчили формулани текшириш учун эса, 2n сатрга эга былган жадвал тузишга ты\ри келади. бундай жадвални тузиб, натижани ани=лаш, амалий жихатдан равшанки бир мунча =ийинчилик ту\диради. табиий, шу муносабат билан бу масалани хал этишни бош=а, аввалги усулидан фар=ли усули бормикан деган савол ту\илади. +уйида бу саволга формулаларнинг «нормал формаси» тушунчаси жавоб беради. дизъюнктив ва конъюнктив нормал формалар бундан кейин, ёзувни янада соддалаштириш ма=садида, мулохазанинг =иймати …$

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

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

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

О "мулохазалар алгебраси"

1662886689.doc 2 1 c b a 7 ù ® c 7 c b 7 ù c b a 7 ù ® ( ) n a a a f ,... 2 1 1 ( ) n a a a f ,... 2 1 2 ( ) n a a a f ,... 2 1 1 ( ) n a a a f ,... 2 1 2 ( ) n a a a f ,... 2 1 1 º ( ) n a a a f ,... 2 1 2 ( ) ( ) c a b a c b a ù ù ú º ù ® 7 7 7 , a b b a ù º ù , a b b …

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

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