Matematika yo’nalishi

1- ta’rif . M to‘plamda aniqlangan va to‘plamdan qiymat qabul qiluvchi bir argumentli Ρ(x) funksiya bir joyli (bir o‘rinli) predikat deb ataladi.

M to‘plamni Ρ(x) predikatning aniqlanish sohasi deb aytamiz.

Ρ(x) predikat chin qiymat qabul qiluvchi hamma x M elementlar to‘plamiga Ρ(x) predikatning chinlik to‘plami deb ataladi, ya’ni Ρ(x) predikatning chinlik to‘plami to‘plamdir.

2- ta’rif . Agar M to‘plamda aniqlangan Ρ(x) predikat uchun

bo‘lsa, u aynan chin (aynan yolg‘on) predikat deb ataladi.

Endi ko‘p joyli predikat tushunchasini o‘rganamiz. Ko‘p joyli predikat predmetlar orasidagi munosabatni aniqlaydi.

«Kichik» munosabati ikki predmet orasidagi binar munosabatni ifodalaydi¹. « » (bu yerda x, y Z ) binar munosabat ikki argumentli Ρ(x, y) funksiyani ifodalaydi. Bu funksiya Z Z to‘plamda aniqlangan va qiymatlar sohasi to‘plam bo‘ladi.

3- ta’rif . to‘plamda aniqlangan va to‘plamdan qiymat oluvchi ikki argumentli funksiya ikki joyli predikat deb ataladi.