Mantıqqa kirish — bu mantiq ilmining asosiy tushunchalari bilan tanishishdir. U aniq fikrlash va dalillarni tuzishda qo‘llaniladi. Formal va informal mantiq turlari mavjud