المنطق الرياضي هو فرع من الرياضيات يدرس الأساليب المنطقية الرياضية وتطبيقاتها في حل المسائل الرياضية. ويتضمن المنطق الرياضي مفاهيم مثل العمليات اللوجيكية والجمل الرياضية وكيفية استخدامها لإثبات الأدلة والتفكير بطريقة دقيقة ومنطقية.
ومن أهمية المنطق الرياضي في الرياضيات هو أنه يساعد على تطوير مهارات العقل الرياضي والتفكير النقدي والإبداع والاستنتاجات المنطقية. كما يعتبر المنطق الرياضي أساساً للرياضيات والعلوم بشكل عام، حيث يستخدم في حل المسائل وفهم العلاقات بين الأرقام والمفاهيم الرياضية. ويستخدم أيضاً في الحوسبة والبرمجة وتطوير الذكاء الاصطناعي والألعاب الإلكترونية والتشفير وغيرها من المجالات التي تتطلب العمل بطريقة منطقية ودقيقة.