Matematik mantiqda mulohazalarni bir-biri bilan bog‘lash va ulardan yangi mulohazalar hosil qilish uchun mantiqiy amallar ishlatiladi. Inkor (¬), konyunksiya (∧) va dizyunksiya (∨) yordamida murakkab fikrlarni oddiy mulohazalarga ajratish va ularning rostlik qiymatini aniqlash mumkin