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

Topshiriqlar

Quyidagilarni o’qing

1.(a,b,cN) (ab)c=a(bc)

2. (a,b,cN) (a+b)c=ac+bc

3. (a,b,cN) abacbc

4. (a,b,c0) abacbc

5. X=xxN,x6

6.U=xxz,-410

2.Predikatlar konyunktsiyasi

Biror X to’plamda berilgan A(x) va B(x) predikatlarning har ikkalasi chin bo’lgandagina chin bo’ladigan predikatga A(x) va B(x) predikatlarning konyuunktsiyasi deyiladi va A(x)B(x) kabi belgilanadi. A(x) va B(x) predikatlarni chinlik to’plamlari mos ravishda T_A va T_B bo’lsa, A(x) B(x)ning chinlik to’plami T=T_A T_B bo’ladi. Bu holat Eyler-Veni diagrammasi yordamida quyidagicha tasvirlanadi.

Х

T_AT_B

Masalan:

X=xN,x16to’plamda A(x): x soni3ga karrali” T_A=3;6;9;12;15;V(x):

“x soni 2 ga karrali”,T_B=2;4;6;8;10;12;14;16predikatlar berilgan bo’lsa, ularning konYuunktsiyasi chinlik to’plami T= T_A T_B=6;12 dan iborat bo’ladi.