Bajardi: xudaybergenova yulduz

2.Predikatlarni kvantorlar yordamida muloxazalarga aylantirish.

Yuqorida ko’rdikki, istalgan tenglama va tengsizlik predikat bo’lar ekan, chunki ularni mulohazaga aylantirish mumkin. Buning uchun o’zgaruvchi o’rniga qiymat qo’yish yetarli.

Predikatni mulohazaga aylantirishning yana bir usuli kvantorlardan foydalanishdir. Ikki xil kvantor bor bo’lib, ularning biri «umumiylik», ikkinchisi «mavjudlik» kvantori deb ataladi.

Mavzuga doir savollar:

1. 
   Kvantorning ta’rifini ayting.
   
2. 
   Kvantorning qanday turlarini bilasiz.
   
3. 
   Predikatlarni kvantorlar yordamida muloxazalarga aylantirig.