Mantiq va matematik mantiqning bir qismi sifatida ancha keng qamrovli tushunchalarni o'z ichiga oladi. Ushbu tushunchalar mantiqiy ifadalar, ularning qiymatlari va formulalarini tahlil qilish orqali mantiqiy fikrlashni yanada akurat va tizimli qilishga yordam beradi