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

3.Predikatlar dizyunktsiyasi

Faraz qilaylik biror X to’plamda A(x)va B(x) predikatlar berilgan bo’lsin. A(x)va B(x) predikatlarni dizyuunktsiyasi deb har ikkalasi yolg’on bo’lganda yolg’on, qolgan hollarda chin bo’ladigan predikatga aytiladi va A(x) yoki B(x) kabi o’qiladi.Agar A(x) va B(x) predikatlarni chinlik to’plami mos holda T_A va T_B bo’lsa, A(x) B(x) ning chinlik to’plami T=T_AT_B bo’ladi. Uni Eyler-Venn diogrammalari yordamida quyidagicha tasvirlash mumkin.

Х




Masalan:X=xN,x15

A(x):8x15,T_A=8;9;10;11;12;13;14;15; B(x):«x soni 12 ni bo’luvchisi» T_B=1;2;3;4;6;12 bo’lib, A(x)B(x) predikatning chinlik to’plami.

T=T_AT_B=xdan iborat bo’ladi.