الدرس (4) التبرير الاستنتاجي
التبرير الاستنتاجي: يستعمل قواعد وتعاريف للحصول على نتائج منطقية من العبارات الشرطية .
قانون الفصل المنطقي: هو استعمال مثال مضاد لإثبات عدم صحة التخمين الذي تم التوصل إليه باستعمال التبرير الإستقرائي.
قانون الفصل المنطقي: إذا كانت العبارة الشرطية p إلى q صائبة إذا الفرض p صائب , والنتيجة q تكون صائبة أيضا.
p إلى q
|
q
|
p
|
T
|
T
|
T
|
مثال:
*المعطيات: إذا كان العدد يقبل القسمة على 4 , فإنه يقبل القسمة على 2.
(قيمة العبارة الشرطية صحيحة T).
*العدد 12 يقبل القسمة على 4.
(قيمة العبارة الشرطية صحيحة T).
*الاستنتاج: العدد 12 يقبل القسمة على 2.
(قيمة العبارة الشرطية صحيحة T).
صحيحة , بناءَ على قانون الفصل المنطقي.
قانون القياس المنطقي: بإمكانك الحصول على عبارتين شرطيتين صائبتان , وينتج ذلك عندما تكون نتيجة العبارة الشرطية الأولى هي فرض العبارة الشرطية الثانية.
مثال:
1-إذا كان المثلث قائم الزاوية , فإن قياس إحدى زواياه 90 .
2-اذا كان قياس إحدى زوايا المثلث 90 , فإن زاويتيه الحادتين متتامتين.
العبارة الشرطية:إذا كان المثلث قائم الزاوية , فإن زاويتيه الحادتين متتامتين.
