استنتاج استدلالي

الاستنباط deduction أو الاستنتاج الاستنباطي deductive reasoning ، أحيانا يطلق عليه المنطق الاستنباطي Deductive logic هو أحد أشكال الاستنتاج و يمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية .

لا يعبر عن المنطق الاستباطي بالصواب أو الخطأ و لكن يعبر عن الناتج بأنه "صالح بالإنگليزية: valid " أو "غير صالح بالإنگليزية: invalid"

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

أمثلة:

كل الفواكه لونها أحمر.
الموز من الفواكه .
إذن ، الموز لونه احمر.
"لاحظ أن الجدل هنا غير سليم لأنه لا يكفي ان تكون الفرضية الثانية صحيحة و لكن يجب أن تكون الأولى المبنية عليها كذلك "
قالب:بذرة منطق       {{{{{3}}}}}
قالب:بذرة منطق
{{{{{3}}}}} {{{{{4}}}}}