Mantiq fanining asosiy tushunchalari va qoidalarini o'rganish. Aristotel tomonidan nazariy asoslangan. Tavsifiy mantiq, qoidalar, qonunlar, qarama-qarshiliklar, identiklik prinsiplari, kon'yunksiya, dis'yunksiya, implikatsiya. Matematika va informatika fanlarida qo'llaniladi