Bir joyli predikatni ta’rifi

Predikatlarning dizyunksiyasi: Berilgan to’plamda aniqlangan va predikatlarning dizyunksiyasi deb, faqat va faqatgina ning qiymatlarida aniqlangan 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.

Predikatlarning implikatsiyasi: 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 predikatga va predikatlarning implikasiyasi deb aytiladi.

Har bir tayinlangan uchun

tengkuchlilik to’g’ri bo’lganligidan o’rinlidir.