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

1-ta’rif. a) to`plamda aniqlangan har qanday mulohaza va predikat predikatlar mantiqining formulasidir.

b) Agar formula bo`lsa, lar ham formuladir.

v) Agar va formula bo`lsa, lar ham predikatlar mantiqining formulasi hisoblanadi.

g) Predikatlar mantiqida a), b), v) formulalardan boshqa formula mavjud emas.

2-ta’rif. Kvantor tatbiq etiladigan o`zgaruvchilar bog`langan o`zgaruvchilar, kvantor tegishli bo`lmagan o`zgaruvchilar esa erkin o`zgaruvchilar deyiladi.

Masalan, predikatda bog`langan, esa erkin o`zgaruvchidir. Tarkibida erkin o`zgaruvchi bo`lgan predikat shu o`zgaruvchining funksiyasidan iborat, ya’ni bo`ladi.

SHunday qilib, predikatlar mantiqining istalgan formulasi o`zgaruvchi mulohaza, predikat va erkin noma’lumga bog`liq bo`lgan funksiyadir.

2. « - juft son» predikati berilgan bo`lsin. kesmadan qiymatlar qabul qilganda funksiya qabul qiladigan qiymatlar quyidagi jadvalda berilgan:

			1		2			3		4		5		6		7
			0		1			0		1		0		1		0

Yuqoridagi miisollardan ushbu fikrlarni ayta olamiz.

1. Predikatlar mulohaza emas, lekin ning biror to`plamga tegishli aniq qiymatlarida u mulohazaga aylanadi.

2. Agar qandaydir ob’ektlar to`plami bo`lsa bu to`plamdagi predikat - xossa deganda biz shu to`plamda rost yoki yolg`on qiymatni qabul qiluvchi bir argumentli funksiyani tushunamiz.

3. Biror to`plamda berilgan predikat bu to`plamda aynan rost, aynan yolg`on yoki bajariluvchi bo`lishi mumkin.