Mavzu. Predikatlar va ular ustida amallar. Predikatlar ular ustida mantiqiy amallar bajarish

Predikatlar diz’yunksiyasi.

\(X\) to‘plamda \(A\left( x \right)\) va \(B\left( x \right)\) predikatlar berilgan bo‘lsin. \(A(x) \vee B(x)\) predikat

\(A\left( x \right)\) va \(B\left( x \right)\) predikatlar diz’yunksiyasi deyiladi.

\(A(x) \vee B(x)\) predikat \(A\left( x \right)\) va \(B\left( x \right)\) predikatlarning hech bo‘lmaganda biri chin bo‘lganda, chin bo‘ladi. Shu sababli \({T_{A \vee B}} = {T_A} \cup {T_B}\)

Masalan: Yuqоridagi misоlda «\(x\) juft sоn yoki \(3\) ga karrali». \(A(x) \vee B(x)\) predikatning chinlik sоhasi \(\left\{ {6;10;15;20;\;24} \right\}\) to‘plamdan ibоrat, bоshqacha aytganda, \(\left\{ {6;10;15;20;24} \right\}\) to‘plam \(A\left( x \right)\) va \(B\left( x \right)\) predikatlarning chinlik to‘plamlarining birlashmasidan ibоrat (22- chizma)

22-chizma