Ushbu kurs ishida matematik mantiqning asosiy tushunchalari – mulohazalar, ularning rost/yolg‘on qiymatlari va mantiqiy amallar (inkor, kon’yunksiya, diz’yunksiya, implikatsiya, ekvivalensiya) batafsil tahlil qilinadi. Ish davomida rostlik jadvallari tuzish, mukammal dizyunktiv va mukammal konyunktiv normal shakllarni hosil qilish usullari va ularning amaliy tadbiqlari ko‘rib chiqiladi. Shuningdek, predikatlar tushunchasi va mantiq qonunlari (inkor, ziddiyatsizlik, De Morgan qonunlari, distributivlik va boshqalar) yoritiladi. Maqsad — talabalarni matematik mulohazalar algebrasi bilan tanishtirish va ularning mustaqil ishlash ko‘nikmalarini rivojlantirish.