1. Predikatlar hisobida yechilish muammosi. Yechilish muammosi



Download 7,2 Mb.
Pdf ko'rish
bet13/21
Sana01.01.2022
Hajmi7,2 Mb.
#291211
1   ...   9   10   11   12   13   14   15   16   ...   21
Bog'liq
diskret matematika.Nazariya

30.

 

Predikatlar hisobida umumiylik kvantorini kiritish qoidasi. 

umumiylik kvantorini kiritish qoidasi – 

)

(

)



(

x

xG

F

x

G

F



Davomiga 29-savolning javobini qushimcha qilsa buladi. 



31.

 

Predikatlar hisobida mavjudlik kvantorini kiritish qoidasi. 

mavjudlik kvantorini kiritish qoidasi – 




F

x

xG

F

x

G



)

(



)

(

, agar 



F

 

x

ga bog‘liq bo‘lmasa. 

Davomiga 29-savolning javobini qushimcha qilsa buladi. 



32.

 

Predikatlar hisobida xulosa qoidasi. 

 

33.



 

Predikatlar hisobida isbotlanuvchi formula tushunchasi. 

 

34.

 

Predikatlar hisobida yechilish muammosi. 

35.

 

Predikatlar hisobida zidsizlik muammosi. 

 

 


36.

 

Predikatlar hisobida to’liqlik muammosi. 

37.

 

Predikatlar hisobida erkinlik muammosi. 

 

38.

 

Sonli ketma-ketlk limitining ta’rifini predikat formulasi ko’rinishida ifodalash. 

Matematik  mulohazalarni  predikatlar  mantiqi  formulasi  ko‘rinishida  yozish.

  Quyida 

asosiy matematik tushunchalar – ta’rif va teoremalarni predikatlar mantiqi tili vositasi bilan ifodalashni 

o‘rganamiz. 

Matematikaga  oid  har  qanday  fan  sohasi  shu  fanda  qaralayotgan  obyektlar  haqidagi 

mulohazalar  bilan  ish  ko‘radi.  Mulohazalar  mantiq  va  to‘plamlar  nazariyasining  simvollari  hamda 

berilgan  fanning  maxsus  simvollari  yordamida  predikatlar  mantiqining  formulasi  ko‘rinishida 

ifodalanishi  mumkin.  Predikatlar  mantiqining  tili  matematik  tushunchalar  o‘rtasidagi  munosabatni 

ifodalashga,  ta’rif,  teorema  va  isbotlarni  yozishga  imkoniyat  yaratadi.  Bu  yozishlarni  misollarda 

ko‘raylik. 




Download 7,2 Mb.

Do'stlaringiz bilan baham:
1   ...   9   10   11   12   13   14   15   16   ...   21




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©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