Ushbu taqdimot formal mantiq asoslari, mantiqiy mulohazalar va silogizmlarni o'rganadi. Unda Aristotel mantiqi, tushuncha, hukm, xulosa kabi asosiy tushunchalar va ularning zamonaviy texnologiyalar, dasturlash va sun'iy intellektdagi ahamiyati yoritilgan