Формулалар.Формулаларнинг ростлик қийматлари .Тенг кучли формулалар - Алгебра - Рефераты

Формулалар.Формулаларнинг ростлик қийматлари .Тенг кучли формулалар

Загружено в:

12.09.2022

Скачано:

0

Размер:

37 KB

Формулалар.Формулаларнинг ростлик қийматлари .Тенг кучли формулалар. Режа: 1. Мулоҳаза. Мулоҳазалар устида мантиқ амаллари. 2. Формула.Тенг кучли формулалар.

Таъриф . Рост ёки ёл ғ онлигини бир қ ийматли ани қ лаш мумкин былган дарак гап мулощаза дейилади . Û збек тилидаги барча мулощазалар т û пламини М орқали белгилайлик . А мулощаза рост бûлса, унга 1 ни, ёлғон бûлса, 0 ни мос қûямиз. Таъриф. А ва В мулощазаларнинг конъюнкцияси деб , А ва В мулощазалар рост бûлгандагина рост, қолган щолларда ёлғон бûладиган А  В мулощазага айтилади. Таъриф . А ва В мулощазалар дизъюнкцияси деб , А ва В мулощазаларнинг иккаласи щам ёлғон бûлгандагина ёлғон , қолган щолларда рост бûладиган А  В мулощазага айтилади. Таъриф . А мулощаза рост бûлганда ёлғон, ёлғон бûлганда рост бûладиган  А мулощаза А мулощазанинг инкори дейилади. Юқорида таърифланган амаллар ростлик жадвали қуйидаги кûринишда бûлади : А В А  В А  В  А 1 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 Бундан ташқари яна бир қанча амаллар, яъни :  - импликация ёки мантиқий щулоса,  ёки  - эквиваленция ёки мантиқий тенг кучлилик,  - Шефер штрихи ,  - Пирс стрелкаси ,  - қатъий дизъюнкция , яъни 2 модуль бûйича қûшиш амаллари қуйидаги жадвал орқали берилади :

А В А  В А  В А  В А  В А  В 1 1 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 Таъриф . < M ,  ,  ,  ,  ,  > - универсал алгебра мулощазалар алгебраси дейилади. Таъриф. 1). Хар бир мулощаза формуладир. 2). Агар  ва  лар формулалар бûлса , у щолда (   ), (    ), (    ), (    ) , (    ) лар щам формулалардир. 3). 1) ва 2) лар ёрдамида щосил қилинган ифодаларгина формулалардир. Формулаларнинг таркибидаги қавсларни камайтириш мақсадида мантиқ амалларининг бажарилиш тартибини  ,  ,  ,  ,  деб белгилаб оламиз. (( А  В )  ((  А )  С )) ифода ûрнига А  В  (  А  С ) ифодадан фойдаланиш мумкин. Таъриф . Формулада қатнашган мантиқ амаллари сони формуланинг ранги дейилади. Юқорида келтирилган формуланинг ранги 4 га тенг. Таъриф . МА нинг  ва  формулалари берилган бûлиб, бу формулалар таркибига кирган барча мулощазалар А 1 ,. . .,А m -лардан иборат бûлсин. Агар А 1 ,. . . , А m мулощазаларнинг барча қийматлар тизимлари ( i 1 , . . . , i m ) лар учун  ва  формулалар бир щил қийматлар қабул қилсалар , у щолда, бу

формулалар тенг кучли формулалар дейилади ҳамда    кûринишда ифодаланади.

Адабиётлар : 1. Ёқубов Т.,Каллибеков С. Математик мантиқ элементлари.Т.,1996. 2. Новиков П.С. Элементы математической логики.М.1973. 3. Чёрч А. Введение в математическую логику.М.,1960. 4. Мальцев А.И. Алгоритмы и рекурсивные функции.М.,1965. 5. ЛавровИ.А., Максимова Л.Л. Задачи по теории множеств,математической логике и теории алгоритмов.М.,1975.

Похожие

Мулоҳазалар устида амаллар. Формулалар

МХнинг хоссалари МА билан МХ орасидаги богланиш

Предикатлар. Предикатнинг ростлик сохаси

Мулохазалар алгебраси

Мулохазалар алгебрасининг асосий тенг кучлиликлари. Буль алгебраси