استنتاج استدلالي
الاستنباط deduction أو الاستنتاج الاستنباطي deductive reasoning ، أحيانا يطلق عليه المنطق الاستنباطي Deductive logic هو أحد أشكال الاستنتاج و يمكن قياس الجدل عندما تعتمد صحة البرهان على منطقية الفرضية .
لا يعبر عن المنطق الاستباطي بالصواب أو الخطأ و لكن يعبر عن الناتج بأنه "صالح إنگليزية: valid " أو "غير صالح إنگليزية: invalid"
- ان وجود جدل استباطي صالح مع فرضية صحيحة يحتم سلامة البرهان و يسمى في هذه الحالة سليم ، غير ذلك يصبح غير سليم.
- الصيغة العامة:
- كل س له خواص في ص.
- هذا الشيء هو س.
- إذن ، هذا الشيء له خواص ص.
أمثلة:
- كل الفواكه لونها أحمر.
- الموز من الفواكه .
- إذن ، الموز لونه احمر.
- "لاحظ أن الجدل هنا غير سليم لأنه لا يكفي ان تكون الفرضية الثانية صحيحة و لكن يجب أن تكون الأولى المبنية عليها كذلك "
| قالب:بذرة منطق |
