1. kirish predikatlar ustida mantiqiy amallar, umumiylik va mavjudlik kvantorlari predikatlar mantiqining formulasi va uning qiymati, predikatlar mantiqining teng kiichli formulalari, predikatlar mantiqi formulasining normal shakli

Quyidagi formulaning chinlik to’plamini tuzing:

A(x) B(x) C(x)

Quyidagicha belgilash kiritamiz:

1-ish.
2x 3(x 1) 1;.
2x 3x 3 1;.


- x -4

x4

I _A( x) (;4); I _A( x) [4; ). ,
2-ish.
2 ^x 1 (4x ² 4x 1) 0; 2 ^x 1 (2x 1)² 0;
2x 1 0


I _B( x) (0.5; ), I _B( x) (;0.5]


2.2. PREDIKATLAR MANTIQI FORMULASINING NORMAL SHAKLI. PREDIKATLAR USTIDA MANTIQIY AMALLAR

Predikatlar ustida mantiqiy amallar Predikatlar ham mulohazalar singari faqatgina chin yoki yolg‘on (1 yoki 0) qiymat qabul qilganliklari tufayli ular ustida mulohazalar mantiqidagi hamma mantiqiy amallarni bajarish mumkin.
Bir joyli predikatlar misolida mulohazalar mantiqidagi mantiqiy amallarning predikatlarga tatbiq etilishini ko‘raylik.


1-ta’rif. Berilgan to‘plamda aniqlangan va predikatlarning kon’yunksiyasi deb, faqat va faqat x M 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 Ρ(x) Q(x) kabi belgilanadi.

Ρ(x) Q(x) predikatning chinlik sohasi I _P I_Q to‘plamdan, ya’ni va predikatlar chinlik sohalarining umumiy qismidan iborat bo‘ladi.