Ushbu kurs ishi matematik mantiqning asosiy tushunchalari - mulohaza va uning qiymatlari, mantiqiy amallar (inkor, kon’yunksiya, diz’yunksiya, implikatsiya, ekvivalensiya) va ular ustidagi formulalarni o‘rganishga bag‘ishlangan. Kurs ishi davomida dizyunktiv va konyunktiv normal formalar tushunchalari, mulohazalar algebrasi va rostlik jadvallari batafsil ko‘rib chiqiladi. Shuningdek, predikatlar va ularning ifodalanishi haqida tushunchalar berilib, amaliyotga tatbiq etish vazifasi nazarda tutilgan. Ta’lim jarayonida yangi pedagogik texnologiyalarni qo‘llash va mustaqil o‘rganish uchun mo‘ljallangan.