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