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

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

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

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

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

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

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

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

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

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

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

Теги: предикатлар. кванторлар DOC Бесплатная загрузка Telegram