Matematik mantiq matematikaning ostmaydoni hisoblanadi va matematikaga rasmiy mantiqni tadbiq qiladi. Mulohaza va uning qiymati - matematik mantiqning boshlang`ich tushunchalaridan biridir