ملخص درس التبرير الاستنتاجي – التبرير والبرهان

 

      -       التبرير الاستنتاجي : عملية الاستنتاج باستخدام حقائق أو قواعد أو تعاريف للوصول إلى نتائج منطقية.

 مثال: عملية الاستنتاج التي يتبعها الأطباء في تحديد عيار الجرعة من الدواء للمرضى.

      -       أنواع التبرير الاستنتاجي :

           ·      قانون الفصل المنطقي.

           ·      قانون القياس المنطقي.

     -       يستعمل قانون الفصل المنطقي للحصول على النتائج من عبارات شرطية صحيحة.

     -       قانون الفصل المنطقي :إذا كانت العبارة الشرطية pàq صحيحة والفرض p صحيحا فإن النتيجة q صحيحة.

 مثال: لتكن العبارة الشرطية " إذا كان نصف المستقيم منصفا لزاوية فإنه يقسمها إلى زاويتين متطابقتين" صحيحة، حدد ما إذا كانت النتيجة صحيحة أو خاطئة بناء على المعطيات..

المعطيات: BD ينصف <ABC.

النتيجة: <ABD=<CBD

الحل:  النتيجة صحيحة ، لأن العبارة الشرطية المعطاة صحيحة والفرض صحيح. 

      -       يستعمل قانون القياس المنطقي للحصول على نتائج من عبارتين شرطيتين صحيحتين عندما تكون نتيجة العبارة الأولى هي الفرض في العبارة الثانية .

      -       قانون القياس المنطقي: إذا كانت العبارتان الشرطيتان qàr و pàq صحيحتين فإن العبارة الشرطية pàr صحيحة.

مثال: إذا كان 2x=14 فإن x=7 وإذا كان x=7 فإن 1/x=1/7 ، ومنه فإنه إذا كان 2x=14 فإن 1/x=1/7