Fikriy ifodalarni shakllantirish, formal logikada predikatlar tushunchasi, bir, ikki va uch o‘rinli predikatlar mazmuni va misollar orqali izohi, mavjudlik va ixtiyoriylik kvantorlarining ma’nosi va ularning formal ifodalardagi roli.