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