رياضيات

الدرس (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 , فإن زاويتيه الحادتين متتامتين.

العبارة الشرطية:إذا كان المثلث قائم الزاوية , فإن زاويتيه الحادتين متتامتين.