32
1.
Umumlik kvantori
2.
Mavjudlik kvantori, barcha ayrim sohaga tegishli bo‘lgan qovusdagi
o‘zgaruvchilar haqiqiy bo‘lishi kerakligini bildiradi.
oznachayet, x mazmunlardan faqat ayrimlarigina haqiqiy ekanini bildiradi.
va bir-birining xossasi bo‘lishi mumkin.
Misollar:
1. (AT bo‘yicha mutaxassis (X)→dasturchi(X))
AT bo‘yicha barcha mutaxassislar dasturchilardir.
2. ( AT bo‘yicha mutaxassis (X)→yaxshi dasturchilar (X))
AT bo‘yicha ayrim mutaxassislar - yaxshi dasturchilardir.
3. (xodim (X)→rahbar (Y,X))
Har bir xodimning rahbari bor.
4. (xodim (X)→rahbar (Y,X))
Bir shaxs borki, u hammaga rahbarlik qiladi.
Dostları ilə paylaş: