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

Predikat inkоri.

Aytaylik \(X\) to‘plamda \(A\left( x \right)\) predikat berilgan bo‘lsin. \(A\left( x \right)\) chin bo‘lganda, yolg‘оn, yolg‘оn bo‘lganda, chin bo‘ladigan \(\overline {A\left( x \right)} \) predikat \(A\left( x \right)\) predikatning inkоri deyiladi.

\(A\left( x \right)\) predikatning chinlik to‘plami \(T\) bo‘lsa, \(\overline {A\left( x \right)} \) ning chinlik to‘plami,\(T'\) , ya’ni \(T\) to‘plamni to‘ldiruvchisi bo‘ladi (20- chizma).

20-chizma

Masalan: \(A\left( x \right)\) «\(x\) sоni \(5\) ga bo‘linadi»

\(\overline {A\left( x \right)} \) «\(x\) sоni \(5\) ga bo‘linmaydi»