mulohazalar algebrasi

ZIP 16 sahifa 132,9 KB Bepul yuklash

16 sahifa

FaylHub.uz

Telegram orqali yuklab olish

Hajm 132,9 KB

Fayl turi ZIP

Sahifalar 16

Yangilangan Dek 2025

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

1 / 16

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 …

2 / 16

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

3 / 16

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

4 / 16

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

5 / 16

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

Ko'proq o'qimoqchimisiz?

Barcha 16 sahifani Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"mulohazalar algebrasi" haqida

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 …

Bu fayl ZIP formatida 16 sahifadan iborat (132,9 KB). "mulohazalar algebrasi"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: mulohazalar algebrasi ZIP 16 sahifa Bepul yuklash Telegram