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

1. Predikatlar haqida tushuncha
Mulohazalar algebrasi so‘z yoki gaplarni logik bog‘lovchisi rolini bajaradi. Gaplarni yoki jumlalarni simvolik ravishda bayonlash uchun mulohazalar tushun-chasi yetarli emas, predikatlar ana shu mulohazalar tushunchasini kengaytiradi.

«Predikat» tushunchasi lotincha «preadicatum» so‘zidan olingan bo‘lib, «bayonlash» degan ma’noni anglatadi.

Predikat tushunchasiga olib keladigan quyidagi misollarni keltiraylik. Aytaylik, x,u,z,… lar ixtiyoriy o‘zgaruvchi mulohazalar bo‘lsin.

1. 
   x+y=3
   
2. 
   x tub son
   
3. 
   x
   
4. 
   x butun son u va z butun sonlarini bo‘luvchisi.
   

Yuqoridagi jumlalarni rost yoki yolg‘onligini aytolmaymiz. Rost yoki yolg‘onligini aniqlash uchun berilgan o‘zgaruvchi mulohazalarga aniq qiymatni berish kerak.