Mavzu: predikatlar mantiqi formulasining normal shakli. Bajaruvchi va umumqiymatli formulalar

5- t a ’ r i f . Berilgan M to‘plamda aniqlangan Ρ(x) va Q(x) predikatlarning diz’yunksiyasi deb, faqat va faqatgina x M qiymatlarda aniqlangan hamda Ρ(x) va Q(x) predikatlar yolg‘on qiymat qabul qilganda yolg‘on qiymat qabul qilib, qolgan barcha hollarda chin qiymat qabul qiluvchi yangi predikatga aytiladi va u Ρ(x) Q(x) kabi belgilanadi.

Ρ(x) Q(x) predikatning chinlik sohasi I _P I_Q to‘plamdan iborat bo‘ladi.

6- t a ’ r i f . Agar hamma x M qiymatlarda Ρ(x) predikat chin qiymat qabulqilganda yolg‘on qiymat va x M ning barcha qiymatlarida Ρ(x) predikat yolg‘on qiymat qabul qilganda chin qiymat qabul qiluvchi predikatga Ρ(x) predikatning inkori deb ataladi va u Ρ (x) kabi belgilanadi.

Bu ta’rifdan I _P M \ I _P CI _P kelib chiqadi.