Bul funksiyaslari dеyiladi. Axborot almashish: kodlash va dekodlash jarayonlarida keng qo’llaniladigan funksiyalardan biri Bul funksiyasi hisoblanadi. Bul funksiyasi

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:

Predikatorlar turlari:

• Predikatlar inkori;
• Predikatlar kon’yunksiyasi;
• Predikatlar diz’yunksiyasi;
• Predikatlar implikatsiyasi;
•  Predikatlar ekvivalensiyasi.

Umumiylik va mavjudlik kvantorlari

• 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