Predikatlar mantiqi birinchi tartibli mantiqning asosini tashkil etadi, u individual ob'ektlar va ular o'rtasidagi munosabatlarni ifodalash uchun predikatlar va kvantorlardan foydalanadi.