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

DOC 51.0 KB Free download

Page preview (5 pages)

Scroll down 👇

$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

Want to read more?

Download the full file for free via Telegram.

Download full file

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

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

DOC format, 51.0 KB. To download "аксиоматик усул. мулоҳазалар ҳисоби келтириб чиқариш қоидалари", click the Telegram button on the left.

Tags: аксиоматик усул. мулоҳазалар ҳи… DOC Free download Telegram