Matematik mantiqning ushbu mulohazalar algebrasi deb atalgan bo’limida asosiy tekshirish ob’ektlari bo’lib gaplar xizmat qiladi. Matematik mantiq har bir gapning ma’nosiga qarab, uning chin, haqqoniy, to’g’ri yoki yolg’on, noto’g’ri bo’lishi bilangina qiziqadi.