1. Fikr tushunchasi. Fikrlar ustida mantiqiy amallar. Chinlik jadvali



Download 67,5 Kb.
bet3/3
Sana30.12.2021
Hajmi67,5 Kb.
#93696
1   2   3
Bog'liq
Maruza (9)

30. Diz’yunksiya amali.  va  fikrlarning kamida bittasi chin bo‘lgandagina chin bo‘ladigan fikrlarning diz’yunktiv bog‘lanishidan sodir bo‘lgan fikr (qisqacha  va  fikrlarning diz’yunksiyasi) deyiladi.

Uni  kabi belgilanib, « diz’yunksiya » deb o‘qiladi.  va  fikrlar  ning diz’yunktiv hadlari deyiladi. (Diz’yunksiya mantiqiy amali so‘zlashuvlarda «yoki» bog‘lovchisini ifodalaydi). Bu holda

bo‘ladi. (4-bet)

40. Implikatsiya amali.  fikr chin,  fikr yolg‘on bo‘lgandagina yolg‘on bo‘lib, qolgan barcha hollarda chin bo‘ladigan fikr  va  larning implikativ bog‘lanishidan sodir bo‘lgan fikr (qisqacha  va  larning implikatsiyasi) deyiladi. Uni  kabi belgilanib, « implikatsiya » deb o‘qiladi. (6-bet)

Implikatsiya uchun

 

bo‘ladi.


SHunday qilib fikrlar ustida inkor ( ù ), kon’nksiya  , diz’yunksiya , implikatsiya  va ekvivalensiya  amallari kiritildi.

YUqoridagi (10), (20), (30), (40) va (50) munosabatlarni inobatga olib, quyidagi chinlik jadvalini tuzamiz:



CHinlik jadvali(10-bet)

 








ù













1

1

0

1

1

1

1

1

0

0

0

1

0

0

0

1

1

0

1

1

0

0

0

1

0

0

1

1

 

Propozitsional formalar(25-bet)

YUqorida biz fikrlar ustida mantiqiy amallar bilan tanishdik. Unda  va  fikrlar bo‘lganda

(ù, , , ,  

lar ham fikr bo‘lishini ko‘rdik. Ayni paytda bu fikrlar  va  lardan tashkil topgan murakkab fikrlarni ifodalaydi.

Aytaylik,  chin,  yolg‘on fikr bo‘lsin. Unda

chin fikr bo‘ladi.

Agar  fikr yolg‘on,  fikr chin bo‘lsa, unda

ù

chin fikr bo‘ladi. Ravshanki,



ù

chin fikr bo‘lib, u fikrlar va mantiqiy amallardan tashkil topgan ifodadir.

SHunga o‘shash,

ù

ham fikrlar va amallardan tuzilgan ifoda bo‘ladi.



Endi fikrlar va mantiqiy amallardan tashkil topgan ifodalarni chuqurroq o‘rganamiz.

Bu formula tushunchasiga olib keladi.

Fikrlar to‘plami  hamda mantiqiy amallar ù, , ,  lardan tashkil topgan ushbu <;ù , , , >

- oltilik fikrlar algebrasi deyiladi.



Eslatma. Aslida fikrlar algebrasi deganda ushbu <;ù , , > to‘rtlik tushuniladi. Buning boisi shuni ,          biz  amallarini ù, ,  murakkob funksiya sifatida ifodalanishi  mumkinligini ko‘rsatamiz.

Bunda  fikrlar algebrasining asosiy to‘plami; ù, , ,  lar esa fikrlar algebrasining asosiy amallari deyiladi.

Ma’lumki, fikrlar turlicha bo‘lib, ularni biror o‘zgaruvchining «qiymatlari» deb qarash mumkin.

O‘zgarish sohasi fikrlar to‘plamidan iborat bo‘lgan har qanday o‘zgaruvchi propozitsional o‘zgaruvchi deyiladi. Bunday o‘zgaruvchilarni biz

                  

harflari bilan belgilaymiz.

Endi fikrlar algebrasining asosiy tushunchalaridan biri formula tushunchasini keltiramiz.

Fikrlar algebrasining formulasi (qisqacha F.A.F) deyilganda fikrlar va mantiqiy amallarning bog‘lanishidan tashkil topgan ifodani tushunamiz.

Demak, biz yuqorida F.A.F ga bir necha bor duch kelgan ekanmiz.

F.A.F tushunchasi induktiv usulda beriladi.  



1.1-Ta’rif. 1) Har qanday propozitsional o‘zgaruvchi F.A.F bo‘ladi.

2) Agar  lar F.A.F bo‘lsa, u holda

ifodalar ham F.A.F bo‘ladi.



3) Boshqacha ko‘rinishli F.A.F yuq, ya’ni har qanday F.A.F faqat yuqorida keltirilgan 1 va 2 bandlar yordamida hosil qilinadi.

Demak, propozitsional o‘zgaruvchilar - mantiqiy amallar (bog‘lovchilar) ù, va qavslardan tuzilgan ifodalar faqat va faqat 1 va 2 bandlar yordamida tashkil topsagina F.A.F bo‘lar ekan.

Misol 1. Ushbu

ù

ifodani qaraylik.



Ta’rifning 1) bandiga ko‘ra   lar, 2) bandiga ko‘ra (ù lar F.A.F bo‘ladi. YAna 2) bandga ko‘ra ù va ù ifodalarni F.A.F bo‘lishini topamiz.

Demak,


 ù 

ifoda F.A.F bo‘ladi.

Misol. 2. Ushbu  

ifodani qaraylik.

Ta’rifning 1 va 2 bandlariga binoan  lar va nihoyat

ifoda F.A.F bo‘ladi.

Misol. 3. Ushbu

(ùù


ifodani qaraylik.

Ravshanki,  hamda (ùùlar F.A.F bo‘ladi. Ayni paytda (  ) ifoda F.A.F emas, chunki (  ) da butun ifodani o‘rovchi chap qavs etishmaydi.

Aytaylik,  propozitsional o‘zgaruvchilar bo‘lsin. Bu o‘zgaruvchilardan tuzilgan F.A.F ni umumiy holda quyidagicha

belgilaymiz.

Endi  da  larning o‘rniga mos ravishda tayin olingan   fikrlarni qo‘yib

murakkab fikrni hosil qilamiz.

Har bir  fikrning qiymati  ga ko‘ra,  murakkab fikrning qiymati ushbu 

tenglikdan topiladi.

Ma’lumki, har bir fikr 1 yoki 0 qiymatni (fikr chin bo‘lganda 1 ni, fikr yolg‘on bo‘lganda 0 ni) qabul qiladi.

YUqorida keltirilgan  dan ko‘rinadiki, murakkab  fikrning qiymati  ni  fikrlar o‘rniga, ularning mantiqiy  qiymatlari 1 yoki 0 ni (1 yoki 0 simvollarni) qo‘yib, so‘ngra bu simvollarga nisbatan formulada ishtirok etgan amallar ketma-ket (chinlik jadvaliga binoan) bajarilishi natijasida topiladi.

Masalan, ù 

bo‘lib,


bo‘lsin. Unda

ùù

bo‘ladi.

Odatda, bunday holda  propozitsional o‘zgaruvchilar mos ravishda  0,1 qiymatlarni qabul qilganda

ù

formula 0 qiymatni qabul qiladi deyiladi. Ko‘p hollarda  o‘rniga  deb yozish qulay bo‘ladi.



Bu kelishuvga ko‘ra,  o‘zgaruvchilarning chinlik qiymatlari mos ravishda  (bunda  yoki  ) bo‘lgan,   fikrlar uchun  deb yozish o‘rniga, deb yozamiz.

 

    Asosiy  darsliklar va o‘quv qo‘llanmalar



1.     Mendelson E. Vvedenie v matematicheskuyu logiku. M.: Nauka, 1984.

2.     Yablonskiy S. V. Vvedenie v diskretnuyu matematiku. – M.: Nauka, 1986.

3.     Lavrov I. A., Maksimova L. L. Zadachi po teorii mnojestv, matematicheskoy logike i teorii algoritmov. M.: Fiz.-mat. literatura, 1995.

 

Mustaqil ta'lim mavzulari



1. Chinlik jadvali.

2. Pirs strelkasi.

3. Sheffer  shtrihi.

 

                                 



 

 

Glossariy

 

      Fikr - chinligi yoki yolg‘onligini bir qiymatli aniqlash mumkin bo‘lgan har qanday tasdiqlovchi darak gapdir.



 

Inkor amali -   o‘zi chin bo‘lganda yolg‘on,  yolg‘on bo‘lganda esa chin bo‘ladigan fikrga aytiladi  va fikrning inkori deyiladi. U o‘zbek tilidagi « emas» bog‘lovchisiga mos keladi.

 

Kon’yunksiya -    va  fikrlar bir vaqtda chin bo‘lgandagina chin bo‘ladigan fikrni bildiruvchi fikr bo‘lib, uni mantiqiy ko‘paytma ham deyiladi. U o‘zbek tilidagi « va» bog‘lovchisiga mos keladi.

 

      Diz’yunksiya  -   va  fikrlarning kamida bittasi chin bo‘lgandagina chin bo‘ladigan fikrni bildiruvchi fikr bo‘lib, uni mantiqiy yig‘indi  ham deyiladi. U o‘zbek tilidagi « yoki» bog‘lovchisiga mos keladi.



     

Implikatsiya  -  fikr chin,  fikr yolg‘on bo‘lgandagina yolg‘on bo‘lib, qolgan barcha hollarda chin bo‘ladigan fikr  va  larning implikativ bog‘lanishidan sodir bo‘lgan fikrdir. U o‘zbek tilidagi « agar ... bo‘lsa, u xolda ... bo‘ladi»  bog‘lovchisiga mos keladi.

 

 



Test savollari

 

         1. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘ladi?



a) * 

b) 


c) 

d) 


 

2. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘ladi?

 

a) * 


b) 

c) 


d) 

 

3. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘lmaydi?



a) * 

b) 


c) 

d) 


 

4. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘lmaydi?

 

a) * 


b) 

c) 


d) 

 

5.  formulaning barcha qism formulalarini yozing.



a) * 

b) 


c) 

d) 


 

6.  formulaning barcha qism formulalarini yozing.

 

a) * 


b) 

c) 


d) 

 

7. Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlanmasida 1 qiymat qabul qiladi? 



a) 1

b) 2


c) 3

d) * 4


 

8. Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlanmasida 1 qiymat qabul qiladi? (

 

a) 1


b) * 2

c) 3


d) 4

 

9.  uch o‘zgaruvchili qiymatlarining nechta tanlanmasida 1 qiymat qabul qiladi?

a) * 1

b) 3


c) 6

d) 8


 

10. Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlamasida 0 qiymat qabul qiladi? 

 

a) * 0


b) 2

c) 4


d) 1

 

11.   uch o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlamasida 0 qiymat qabul qiladi?



a) 3

b) * 2


c) 8

d) 5
Download 67,5 Kb.

Do'stlaringiz bilan baham:
1   2   3




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©www.hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish