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