نتيجة منطقية

النتيجة المنطقية أو التالية المنطقية ، ويسمى أيضا بالاقتضاء أو التضمين أو الاستلزام المنطقي ، هو أحد المفاهيم الأساسية في المنطق، وهو يعبر عن العلاقة بين افتراضات تكون صحيحة عندما تلي كل خطوة التالية بتسلسل منطقي. إن مدى صحّة أي حجة منطقية يكون إذا أمكن وجود تالٍ من المقدمات، وإذا كانت نتائج الحجة هي نتائج فرضيتها. إن التحليل الفلسفي للتوالي المنطقية يتضمن السؤال: ما هو مقدار صواب استنتاج تال من فرضيته؟ وماذا يعني أن يكون الاستنباط تالياً للفرضيات؟.Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). 

يمكن القول أن حجج المنطق الفلسفي تعطي أهمية بالغة لطبيعة التضمين أو الاقتضاء وكذلك للحقيقة المنطقية.Quine, Willard Van Orman, Philosophy of logic

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

 انظر أيضًا 

 تكافؤ منطقي
 عكس استلزام
 جبر بول

 المراجع 

تصنيف:استنباط
تصنيف:بناء الجملة (منطق)
تصنيف:حساب القضايا
تصنيف:عمليات ثنائية
تصنيف:ما وراء المنطق
تصنيف:مفاهيم في المنطق
تصنيف:منطق فلسفي
تصنيف:نتائج منطقية
تصنيف:وحدات دلالية