«Predikatlar algebrasining simvollari, tili. Predikatlar mantig’ida formula tushunchasi.»

1.Predikatning inkori:

Biror X to’plamda A (x) predikat chin bo’lganda yolg’on, yolg’on bo’lganda chin bo’ladigan predikat A (x) predikatning inkori deyiladi va A(x) kabi belgilanadi.Yuqoridagi holatni tekistlikda quyidagicha tushuntirish mumkin. Ya’ni A(x) ning chinlik to’plami T_A bo’lsa A(x) ning chinlik to’plami T¹ bo’ladi.

Masalan:

1. 
   A(x): “x soni 3 ga karrali bo’lsa”; Ā(x): “x soni 3 ga karrali emas” bo’ladi.
   
2. 
   X=xN,x15to’plamda A(x): “x-tub son” bo’lsa, T_A2;3;5;7;11;13
   

Ā(x): «x-tub son emas” bo’lib,T_Ᾱ=1;4;6;8;9;10;12;14bo’ladi

3. 
   X to’plam xaftaning kunlari to’plami bo’lsin. Bu to’plamda
   

A(x): “x haftaning juft kunlari” bo’lsa,

Ā(x): “x-haftaning toq kunlari” bo’lib

T_A=seshanba, payshanba, shanba;T_Ᾱ=yakshanba, dushanba, chorshanba, jumabo’ladi.