Predikatlar tarkibida bir yoki bir nechta o`zgaruvchi qatnashishi mumkin, qatnashgan o`zgaruvchilar soniga qarab predikat bir o`rinli, ikki o`rinli va hokazo bo`ladi va kabi belgilanadi. Predikat tarkibiga kirgan o`zgaruvchi qabul qilishi mumkin bo`lgan barcha qiymatlar to`plami predikatning aniqlanish sohasi deyiladi va X,Y,Z,… kabi belgilanadi. - Predikat tarkibiga kirgan o`zgaruvchi qabul qilishi mumkin bo`lgan barcha qiymatlar to`plami predikatning aniqlanish sohasi deyiladi va X,Y,Z,… kabi belgilanadi.
- O`zgaruvchi o`rniga qo`yilganda predikatni rost mulohazaga aylantiruvchi qiymatlar predikatning rostlik to`plami deyiladi va TA ko`rinishda belgilanadi
TA
Predikatorlar turlari: - Predikatlar inkori;
- Predikatlar kon’yunksiyasi;
- Predikatlar diz’yunksiyasi;
- Predikatlar implikatsiyasi;
- Predikatlar ekvivalensiyasi.
- Umumiylik kvantori ”A” (teskarisi)belgi bilan belgilanadi va ”har bir”, ”hamma”, ”barcha” so’zlari bilan ifodalanadi. belgi inglizcha “All” so’zining bosh harfidan olingan va “hamma” ma’nosini bildiradi.
- Mavjudlik kvantori “E”(teskarisi) belgi bilan belgilanadi, inglizcha “Exist” so`zining bosh harfidan olingan bo`lib “bor”, “mavjud”, “topiladi” ma’nosini bildiradi.
Agar P(x) predikat bo’lsa, u holda (A(teskarisi)x)P(x) – yozuv N to’plamda ixtiyoriy x uchun P(x) mulohaza o’rinli degan ma`noni bildiradi. Bu mulohaza rost bo’ladi, qachonki x ning ixtiyoriy qiymatida P(x) o’rinli bo’lsa. Agarda x ning bittagina qiymatida o’rinli bo’lmasa, P(x) mulohaza yolg’on bo’ladi. A(teskarisi)- belgi umumiylik kvantori deyiladi - Agar P(x) predikat bo’lsa, u holda (A(teskarisi)x)P(x) – yozuv N to’plamda ixtiyoriy x uchun P(x) mulohaza o’rinli degan ma`noni bildiradi. Bu mulohaza rost bo’ladi, qachonki x ning ixtiyoriy qiymatida P(x) o’rinli bo’lsa. Agarda x ning bittagina qiymatida o’rinli bo’lmasa, P(x) mulohaza yolg’on bo’ladi. A(teskarisi)- belgi umumiylik kvantori deyiladi
Do'stlaringiz bilan baham: |
