Mantiq - bu fikrlash, bahslash va xulosa chiqarish bilan shug'ullanuvchi falsafa tarmog'i. Propozitsional mantiqni o'zgaruvchilar, predikatlar va kvantorlar bilan kengaytiradi