Mantiq – fikrlashning toʻgʻri va izchil boʻlishini taʼminlovchi qonunlar va qoidalar sistemasidir. U toʻgʻri xulosalar chiqarishga va notoʻgʻri fikrlardan qochishga yordam beradi. Matematik mantiq, informatika va boshqa sohalarda qoʻllaniladi. Kursda mantiqiy bog'lanishlar, deduksiya, induksiya, amaliy qo‘llanilishi hamda xatoliklarni aniqlash usullari batafsil yoritilgan.