استنباط

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

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

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

الصيغة العامة:

كل س له خواص في ص.

هذا الشيء هو س.

إذن، هذا الشيء له خواص ص.

أمثلة:

كل الفواكه لونها أحمر.

الموز من الفواكه.

إذن، الموز لونه احمر.

"لاحظ أن الجدل هنا غير سليم لأنه لا يكفي ان تكون الفرضية الثانية صحيحة ولكن يجب أن تكون الأولى المبنية عليها كذلك "

{{{{{3}}}}}

{{{{{3}}}}}

{{{{{4}}}}}