1. Predikatlar hisobida yechilish muammosi. Yechilish muammosi

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.