التبرير الاستقرائي:
هو تبرير تستعمل فيه أمثلة محددة للوصول الى نتيجة
متى يستعمل؟
1-عندما تفترض استمرار نمط على نفس الوتيرة
مثال: 2.4,6,8,10
2-فى الملاحظات والمشاهدات
مثال
فى كل مرة تستخدم هند الخلطة الجاهزة لاعداد قالب الكيك تلاحظ أن قالبها صغير لا يكفي لخبز الكيك جهزت هند اليوم خلطة الكيك فاستنتجت أن قالبها لن يكفي لخبز الكيك
اعتمدت هند على المشاهدات للتوصل الى نتيجة فهي بذلك استعملت التبرير الاستقرائي
التبرير الاستنتاجي :
هو تبرير تستعمل فيه حقائق وقواعد وتعريفات وخصائص من أجل الوصول الى نتائج منطقية
مثال :
اذا تأخر مشاري عن دفع قسط سيارته فانه سيقوم بدفع غرامة تأخر مقدارها 150 ريالا تأخر مشاري عن دفع قسط هذا الشهر فاستنتج أن عليه دفع غرامة قدرها 150 ريالا
اعتمد مشاري على حقائق ينص عليها عقد البيع فى الحصول على النتيجة لذلك فقد استعمل التبرير الاستنتاجي
قانون الفصل المنطقي:
اذا كانت العبارة الشرطية
صائبة والفرض p صائب فان النتيجة q تكون صائبة ايضا
مثال:
اذا لم يكن فى السيارة وقود فانها لاتعمل
لايوجد وقود في سيارة عبد الله
نتيجة صائبة : لا تعمل سيارة عبد الله
قانون القياس المنطقي:
اذا كانت العبارتان الشرطيتان
صائبتان (شرط أن تكون نتيجة العبارة الاولى هي فرض فى العبارة الثانية )
فان العبارة الناتجة من حزف نتيجة العبارة الاولى مع فرض العبارة الثانية
تكون صائبة ايضا
مثال :
المثال المضاد :
هو مثال معاكس لمثال معطى
مثال :
أعط مثال مضادا يبين أن كلا من التخمينات الاتية خاطئة
اذا كان n عددا حقيقيا فان n- يكون سالب
اذا كان n= -4 فان n = - (-4)= 4- وهذا عدد موجب