1. Predikatlar hisobida yechilish muammosi. Yechilish muammosi

Funksiyaning nuqtadagi uzluksizligi ta’rifi. 

E

 to‘plamda aniqlangan 

)

(

x

f

 funksiya uchun 

E

x



0

da 

)

|

)

(

)

(

|

|

(|

0

0

0

0

































x

f

x

f

x

x

x

 

bo‘lsa 

)

(

x

f

  funksiya 

E

x



0

  nuqtada 

uzluksiz

  deb  ataladi,  bu  yerda 

)

,

,

(

x

P





  –  uch  joyli 

predikat.

 

41.

 

O‘suvchi funksiyaning 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.