1. Predikatlar hisobida yechilish muammosi. Yechilish muammosi

Sonlar  ketma-ketligi  limitining  ta’rifi. 

Sonlar  ketma-ketligi  limitining  ta’rifini  quyidagicha 

yozish mumkin: 

)

|

|

(

0

lim

0

0































a

a

n

n

n

n

a

a

n

n

n

N

, 

bu yerda 

)

,

,

(

0

n

n

A



: 

)

|

|

(

0











a

a

n

n

n

 – uch joyli predikat.

 

39.

 

Funksiyaning nuqtadagi limiti 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.