منطق ریاضی یک شاخه از ریاضیات است که به مطالعه اصول و قواعد استدلال می‌پردازد. این علم به ما کمک می‌کند تا بفهمیم چگونه می‌توانیم از فرضیات به نتایج منطقی برسیم و ارتباطات بین مفاهیم مختلف را تحلیل کنیم. این منطق شامل موضوعاتی مانند قوانین منطق، استدلال و مجموعه‌ها است. منطق ریاضی به عنوان ابزاری برای حل مسائل و اثبات قضایا در ریاضیات و علوم کامپیوتر نیز کاربرد دارد.