11-§. Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Umumiylik va mavjudlik kvantorlari Predikat tushunchasi

11.4-ta’rif. Berilgan to‘plamda aniqlangan va predikatlarning kon’yunksiyasi deb, faqat va faqat qiymatlarda aniqlangan hamda va lar bir vaqtda chin qiymat qabul qilgandagina chin qiymat qabul qilib, qolgan barcha hollarda yolg‘on qiymat qabul qiluvchi yangi predikatga aytiladi va u kabi belgilanadi.
predikatning chinlik sohasi to‘plamdan, ya’ni va predikatlar chinlik sohalarining umumiy qismidan iborat bo‘ladi.
11.6-misol. : « – juft son» va : « – toq son» predikatlar uchun « – juft son va – toq son»: predikatlar kon’yunksiyasi mos keladi va uning chinlik sohasi – bo‘sh to‘plamdan iborat bo‘ladi.
11.5-ta’rif. Berilgan to‘plamda aniqlangan va predikatlarning diz’yunksiyasi deb, faqat va faqatgina qiymatlarda aniqlangan hamda va predikatlar yolg‘on qiymat qabul qilganda yolg‘on qiymat qabul qilib, qolgan barcha hollarda chin qiymat qabul qiluvchi yangi predikatga aytiladi va u kabi belgilanadi.
predikatning chinlik sohasi to‘plamdan iborat bo‘ladi.
11.6-ta’rif. Agar hamma qiymatlarda predikat chin qiymat qabul qilganda yolg‘on qiymat va ning barcha qiymatlarida predikat yolg‘on qiymat qabul qilganda chin qiymat qabul qiluvchi predikatga predikatning inkori deb ataladi va u kabi belgilanadi.
Bu ta’rifdan kelib chiqadi.
11.7-ta’rif. Faqat va faqatgina lar uchun bir vaqtda chin qiymat va yolg‘on qiymat qabul qilganda yolg‘on qiymat qabul qilib, qolgan hamma hollarda chin qiymat qabul qiladigan predikat va predikatlarning implikasiyasi deb ataladi.
Har bir tayinlangan uchun

teng kuchlilik to‘g‘ri bo‘lganligidan o‘rinlidir.