Mantiq nazariyasining asosiy tushunchalari: mantiq — to‘g‘ri fikrlash qoidalari; taklif (propozitsiya) va predikat; mantiqiy bog‘lovchilar (va, yoki, emas, agar…unda); premissa va xulosa; validlik, tovushlik va to‘g‘rilik; muvofiqlik va kontradiktsiya; tautologiya va mantiqiy ekvivalentlik; implikatsiya va inferensiya qoidalari; formalizatsiya, sintaksis va semantika; model nazariyasi va xulosalarni tekshirish usullari