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

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

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

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

$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

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

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

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

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

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

Формат DOC, 51,0 КБ. Чтобы скачать "аксиоматик усул. мулоҳазалар ҳисоби келтириб чиқариш қоидалари", нажмите кнопку Telegram слева.

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