предикатлар. кванторлар

DOC 64.5 KB Free download

Page preview (4 pages)

Scroll down 👇

1662886405.doc " " " " " n , 1 " ú ù " r ù r r j j " j предикатлар предикатлар. кванторлар режа: 1. предикатлар ҳақида тушунчалар. 2. кванторлар ва уларнинг турлари. 3. предикатли формулалар. 4. мулоҳазаларни мантиқий белгилар ёрдамида ёзиш. мулоҳазалар алгебраси ёрдамида содда мулоҳазалардан мураккаб мулоҳазалар ҳосил қилишни 1,2- маърузаларда ўргандик. лекин мулоҳазалар мантиқи камчиликларга эга, яъни унинг ёрдамида обектларнинг хоссалари ва улар орасидаги муносабатларни ёритиш мумкин эмас. бундай камчиликларни бартараф қилишда предикат тушунчаси муҳимдир. таъриф. таркибида эркин ўзгарувчилар қатнашиб, бу ўзгарувчиларнинг қабул қилиш мумкин бўлган қийматларида мулоҳазага айланадиган дарак гапга предикат дейилади. х объектнинг бирор р хоссага эга бўлиши р(х) каби белгиланиб, уни бир ўринли предикат дейилади. предикат икки, уч,…,n ўринли ҳам бўлиши мумкин. n ўринли предикат р (х1,х2,...,хп) орқали белгиланиб, бу предикат бирор а тўпламнинг х1,х2,...,хп элементлари орасидаги р муносабатни билдиради. бир ўринли предикатни унар, икки ўринли предикатни бинар, уч ўринли предикатни тернар предикатлар …

азис предметлар танлаб олинади. колган хосса ва муносабатлар базис предикатлар ҳамда эркли ўзгарувчилар ёрдамида тузилган таъриф, теоремалар орқали ифодаланади. мисол. 1. а тўпламда аниқланган ( транзитив муносабат қуйидагича бўлади: ( а,b,c (а)((а b) (b c))=>a c). 2.f(x): «х- тўртбурчак», (х): «х-квадрат « предикат бўлса, у ҳолда «баъзи тўртбурчаклар квадратдир» деган тасдиқ (х(f(х)=> (x), «ихтиёрий квадрат тўртбурчакдир» деган тасдиқ эса х( (х)=>f(х) кўринишларда ёзилади. _1042099441.unknown _1042099560.unknown _1043311055.unknown _1043311136.unknown _1042099899.unknown _1042100042.unknown _1042099956.unknown _1042099581.unknown _1042099514.unknown _1042099539.unknown _1042099476.unknown _1042099253.unknown _1042099354.unknown _1042099414.unknown _1042099292.unknown _1042099060.unknown _1042099190.unknown _1042098965.unknown

Want to read more?

Download the full file for free via Telegram.

Download full file

About "предикатлар. кванторлар "

1662886405.doc " " " " " n , 1 " ú ù " r ù r r j j " j предикатлар предикатлар. кванторлар режа: 1. предикатлар ҳақида тушунчалар. 2. кванторлар ва уларнинг турлари. 3. предикатли формулалар. 4. мулоҳазаларни мантиқий белгилар ёрдамида ёзиш. мулоҳазалар алгебраси ёрдамида содда мулоҳазалардан мураккаб мулоҳазалар ҳосил қилишни 1,2- маърузаларда ўргандик. лекин мулоҳазалар мантиқи камчиликларга эга, яъни унинг ёрдамида обектларнинг хоссалари ва улар орасидаги муносабатларни ёритиш мумкин эмас. бундай камчиликларни бартараф қилишда предикат тушунчаси муҳимдир. таъриф. таркибида эркин ўзгарувчилар қатнашиб, бу ўзгарувчиларнинг қабул қилиш мумкин бўлган қийматларида мулоҳазага айланадиган дарак гапга предикат дейилади. х объектнинг бирор р хоссага эга бўлиши р(х) каби белгиланиб, уни бир ўринл...

DOC format, 64.5 KB. To download "предикатлар. кванторлар ", click the Telegram button on the left.

Tags: предикатлар. кванторлар DOC Free download Telegram