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

المنطق القضيّاتي هو دراسة ما يمكن وما لا يمكن استنتاجه على نحو معقول من عبارة واحدة أو من مجموعة عبارات. ويبيّن النص أن بعض العبارات قد تبدو واضحة، مثل القول إن الناس يبتلون عندما تمطر، لكن الاستدلال يحتاج إلى تدقيق لأن المطر قد يقع في أماكن غير مأهولة. كما يقدّم مثالاً بثلاث عبارات: إذا كان المطر يهطل فإن بوب يحمل مظلة، والمطر يهطل، وبوب يحمل مظلة؛ ومع أن العبارات الثلاث قد تكون صحيحة، فإن الخطأ هو افتراض أن الثالثة تنتج من الأولى والثانية. ومن دروس هذا المنطق أهمية الاستعمال الصحيح لأدوات الربط مثل «إذا»، وللأدوات الزمنية مثل «الآن»، وللصيَغ الشرطية.

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

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

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