аксиоматик усул. мулоҳазалар ҳисоби келтириб чиқариш қоидалари

DOC 51,0 KB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

$1662976123.doc аксиоматик усул.мулоҳазалар ҳисоби келтириб чиқариш қоидалари режа: 1. аксиоматик усул. 2. мулоҳазалар ҳисоби аксиомалари. 3. келтириб чиқарилувчи формулалар. мулоҳазалар ҳисоби ( мҳ ) аксиоматик назария бûлиб, мулоҳаза тушунчасига ҳеч қандай мазмун берилмайди. мулоҳазаларни одатдагидек лотин алифбосининг бош ҳарфлари билан белгилаймиз.мулоҳазаларга қûйиладиган талаб битта, у ҳам бûлса, мҳ нинг аксиомаларни қаноатлантириши керак. ма сини мҳ нинг интерпретацияларидан бири сифатида қараш мумкин. мулоҳазалар ҳисобини қуриш учун аввал унинг алфавити, яъни мҳ да ишлатиладиган белгилар санаб чиқилади, сûнгра шу белгиларнинг кетма-кетлигидан тузилган сûз – формула тушунчаси ва ниҳоят, келтириб чиқарилувчи формулалар таърифланади. мҳ нинг алфавити учта тур белгилардан иборат : 1. а , в , с , . . . , ҳ , у, z , . . . – ûзгарувчи мулоҳазалар. 2. ( , ( , ( , ( - мантиқий бо\ловчилар. 3. ( , ) - чап ва ûнг қавслар. мҳ да бошқа белгилар йûқ. таъриф. 1. ҳар бир ûзгарувчи …$

иомалари . iy1. ( a ( b ) ( ( ( b ( ( a ) . iy2. a ( ( ( a . iy3. ( ( a ( a . келтириб чиқариш қоидалари. 1. ûрнига қûйиш қоидаси. мҳ нинг таркибида а ûзгарувчи мулоҳаза қатнашган ℑ(а) , ҳамда иҳтиёрий ℬ формулалари берилган бûлсин. агар ℑ ( а ) мҳ нинг келтириб чиқарилувчи (к.ч.) формуласи бûлса, у ҳолда ℑ ( ℬ ) формула ҳам мҳ нинг к.ч. формуласи бûлади. бу қоида қисқача сҳематик равишда ℑ( а ) кûринишда ℑ ( ℬ ) белгиланади. 2. ҳулоса чиқариш ( modus ponens –мр ) қоидаси. агар ℑ ( ℬ ва ℑ формулалар мҳ нинг к.ч. формулалари бûлса, у ҳолда ℬ формула ҳам мҳ нинг к.ч. формуласидир. бу қоида қисқача қуйидаги кûринишда белгиланади : ℑ , ℑ ( ℬ ℬ таъриф. 1º. ҳар бир аксиома мҳ нинг к.ч. формуласидир. 2º. мҳ нинг к.ч. формуласига ûрнига …

даги с ни а билан алмаштириш натижасида ҳосил қилинган; ( а ( в ) ( ( а ( а ) формула 2-формулага мр қоидасини қûллаш натижасида ҳосил қилинган; ( а ( ( в ( а )) ( ( а ( а ) формула ûзидан олдинги формулада в ни в ( а формула билан алмаштириш натижасида ҳосил қилинган; а ( а формула 4 – формулага мр қоидасини қûллаш натижасида ҳосил қилинган; а ( а формула а ни а билан алмаштириш натижасида ҳосил қилинган. бундан кейин мҳ нинг к.ч. формуласини ℛ ҳарфи,( ℛ ни ℱ ҳарфи билан белгилаб оламиз. теорема. ℑ мҳ нинг иҳтиёрий формуласи бûлсин. у ҳолда ℑ ( ℛ мҳ нинг к.ч. формуласи бûлади, яъни ⊢ ℑ ( ℛ. теорема. ⊢ ℱ ( ( ( а . исбот. 1. ( а ( в ) ( ( ( в ( ( а ). 2. ( ( а ( в ) ( …

аксиоматик усул. мулоҳазалар ҳисоби келтириб чиқариш қоидалари - Page 4

аксиоматик усул. мулоҳазалар ҳисоби келтириб чиқариш қоидалари - Page 5

Ko'proq o'qimoqchimisiz?

Faylni Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"аксиоматик усул. мулоҳазалар ҳисоби келтириб чиқариш қоидалари" haqida

1662976123.doc аксиоматик усул.мулоҳазалар ҳисоби келтириб чиқариш қоидалари режа: 1. аксиоматик усул. 2. мулоҳазалар ҳисоби аксиомалари. 3. келтириб чиқарилувчи формулалар. мулоҳазалар ҳисоби ( мҳ ) аксиоматик назария бûлиб, мулоҳаза тушунчасига ҳеч қандай мазмун берилмайди. мулоҳазаларни одатдагидек лотин алифбосининг бош ҳарфлари билан белгилаймиз.мулоҳазаларга қûйиладиган талаб битта, у ҳам бûлса, мҳ нинг аксиомаларни қаноатлантириши керак. ма сини мҳ нинг интерпретацияларидан бири сифатида қараш мумкин. мулоҳазалар ҳисобини қуриш учун аввал унинг алфавити, яъни мҳ да ишлатиладиган белгилар санаб чиқилади, сûнгра шу белгиларнинг кетма-кетлигидан тузилган сûз – формула тушунчаси ва ниҳоят, келтириб чиқарилувчи формулалар таърифланади. мҳ нинг алфавити учта тур белгилардан иборат : 1. а ...

DOC format, 51,0 KB. "аксиоматик усул. мулоҳазалар ҳисоби келтириб чиқариш қоидалари"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: аксиоматик усул. мулоҳазалар ҳи… DOC Bepul yuklash Telegram