Matematik mantiq — riyozat va mantiq fanlarining kesishgan sohasi bo'lib, matematik tushunchalar orqali mantiqiy mulohazalarni modellashtirish va tahlil qilishni o'z ichiga oladi