النتيجة المنطقية أو التالية المنطقية مفهوم أساسي في المنطق يعبر عن علاقة اقتضاء بين مقدمات ونتائج بحيث تتبع النتائج بالضرورة من الافتراضات عبر تسلسل استدلالي صحيح؛ تُعنى الفلسفة بتحليل مدى صواب هذا الاستنتاج، ويُميز المنطق تضمينًا ماديًا مثل a→b وتضمينًا صياغيًا يعتمد بنية الحجة مثل ∀x(A(x)→B(x)).
