1-misol. A = {2, 3, 4, 5, 6, 7, 8, 9} to'plamdagi P(x) «x - tub son» degan predikatni olsak, u holda x ning joyiga A dagi elementlarni ketma-ket qo'yib,
P(2) «2 tub son» - r,
P(3) «3 tub son» — r,
P(4) «4 tub son» — e,
P(5) «5 tub son» — r,
P(6) «6 tub son» — e,
P(7) «7 tub son» — r,
P(8) «8 tub son» - e,
P(9) «9 tub son» - e
mulohazalarni hosil qilamiz. Bundan ko'rinadiki, A to'plamdagi 2, 3, 5, 7 sonlarini P(x) predikat E dagi r elementga, 4, 6, 8, 9 sonlarini esa e elementga o'tkazadi.
Buni quyidagi chinlik jadvali ko'rinishida ham yozish mumkin.
Bu jadvalning birinchi satri A to'plamning elementlaridan, ikkinchi satri esa E to'plamning elementlaridan iborat:
-
x
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
P(x)
|
r
|
r
|
e
|
r
|
e
|
r
|
e
|
e
|
Agar A to'plamda ikki joyli P(x; y) predikat berilgan bo'lsa, bu predikat A2 = A x A («To'plamlarning dekart ko’paytmasi» mavzusiga qarang) to'plamni Ega o'tkazadi, ya'ni
P(x; y): A2 E.
Umuman, agar A to'plamda n joyli P(x1 x2, ..., xn) predikat berilgan bo'lsa, u
An =
to'plamni E ga akslantiradi, ya'ni P(x1, x2 ..., xn): An E.
Do'stlaringiz bilan baham: |