Predikatlar mantig'i asosiy tushunchalari, kvantifikatorlar (umumiy va mavjudlik), erkin va bog'langan o'zgaruvchilarni o'z ichiga oladi. U predikat, funksiya, terminlar hamda atom va boshqa formulalarni tushuntiradi, mantiqiy qiymatni aniqlash yo'llarini ko'rsatadi.