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