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

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

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

• دراسة الاستدلال الصحيح
• يستخدم الرموز والقواعد الرسمية
• المنطق الافتراضي والمنطق المسند
• أساس البرهان والحوسبة