التبرير الاستنتاجي في الرياضيات

المحتوى الرئيسي

يُعد التبرير الاستنتاجي حجر الزاوية في التفكير المنطقي والبرهان الرياضي، وهو يختلف جوهريًا عن التبرير الاستقرائي الذي قد يكون مألوفًا لديك من دراسات سابقة. في حين أن التبرير الاستقرائي يعتمد على ملاحظة أنماط أو أمثلة خاصة متعددة للوصول إلى تخمين عام، فإن التبرير الاستنتاجي يسلك المسار المعاكس تمامًا؛ فهو يبدأ من مبادئ عامة، أو حقائق مثبتة، أو تعريفات، أو مسلمات، أو نظريات، ثم يستخدمها للوصول إلى استنتاج خاص مؤكد وصحيح بالضرورة. هذا يعني أن التبرير الاستنتاجي يضمن صحة النتيجة إذا كانت المقدمات التي بُني عليها صحيحة.

تخيل أن لديك مجموعة من القواعد أو الحقائق التي تعلم أنها صحيحة. التبرير الاستنتاجي هو الأداة التي تستخدمها لتطبيق هذه القواعد على موقف معين أو حالة فردية للوصول إلى نتيجة لا تقبل الشك. على سبيل المثال، إذا كنت تعلم أن “جميع البشر فانون” (حقيقة عامة) وأن “سقراط بشر” (حقيقة خاصة)، يمكنك أن تستنتج استنتاجًا مؤكدًا بأن “سقراط فانٍ”. هذا الاستنتاج ليس مجرد تخمين، بل هو نتيجة منطقية حتمية للمقدمات.

تكمن أهمية التبرير الاستنتاجي في الرياضيات في كونه الأساس الذي تُبنى عليه البراهين والنظريات. كل مبرهنة رياضية، من أبسطها إلى أعقدها، تعتمد على سلسلة من الخطوات الاستنتاجية التي تنطلق من مسلمات وتعريفات ونظريات سابقة لتثبت صحة عبارة رياضية جديدة. بدون التبرير الاستنتاجي، ستكون الرياضيات مجرد مجموعة من التخمينات بدلاً من كونها علمًا دقيقًا ومترابطًا.

هناك قانونان أساسيان يحكمان التبرير الاستنتاجي، وهما قانون الفصل المنطقي وقانون القياس المنطقي. فهم هذين القانونين وكيفية تطبيقهما أمر بالغ الأهمية لتطوير مهارات التفكير النقدي والمنطقي.

قانون الفصل المنطقي (Law of Detachment)

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

بصيغة رمزية، إذا كانت العبارة الشرطية “إذا كان $p$ فإن $q$” (والتي تُكتب $p \to q$) صحيحة، وكان الفرض $p$ صحيحًا، فإن النتيجة $q$ تكون صحيحة بالضرورة. يمكن التعبير عن ذلك كالتالي:

$(p \to q) \land p \implies q$

حيث $p$ تمثل الفرض و $q$ تمثل النتيجة. الرمز $\land$ يعني “و”، والرمز $\implies$ يعني “يستلزم” أو “ينتج عنه”.

شرح القانون:

1. عبارة شرطية صحيحة ($p \to q$): يجب أن تكون هناك علاقة سبب ونتيجة صحيحة ومُثبتة. على سبيل المثال: “إذا كان الشكل مربعًا، فإنه مستطيل.” هذه عبارة شرطية صحيحة لأن كل مربع هو بالفعل مستطيل.
2. صحة الفرض ($p$): يجب أن تكون الحالة التي ندرسها مطابقة للفرض في العبارة الشرطية. فإذا قلنا “الشكل $A$ مربع”، فإن هذا يطابق الفرض $p$.
3. استنتاج النتيجة ($q$): بناءً على صحة العبارة الشرطية وصحة الفرض، يمكننا استنتاج أن النتيجة يجب أن تكون صحيحة. لذا، إذا كان الشكل $A$ مربعًا، فإنه بالضرورة مستطيل.

أمثلة توضيحية لقانون الفصل المنطقي:

• مثال 1 (رياضي):

  • العبارة الشرطية: “إذا كانت الزاويتان متجاورتين على مستقيم، فإن مجموع قياسهما يساوي $180^\circ$.” (صحيحة)
  • الفرض: “الزاويتان $\angle ABC$ و $\angle CBD$ متجاورتان على مستقيم.” (صحيح)
  • الاستنتاج: “مجموع قياس $\angle ABC$ و $\angle CBD$ يساوي $180^\circ$.” (صحيح بالضرورة)

• مثال 2 (حياتي):

  • العبارة الشرطية: “إذا حصل الطالب على معدل $90\%$ فأكثر في مادة الرياضيات، فسوف يتم تكريمه.” (صحيحة)
  • الفرض: “حصل أحمد على معدل $92\%$ في مادة الرياضيات.” (صحيح)
  • الاستنتاج: “سوف يتم تكريم أحمد.” (صحيح بالضرورة)

متى لا يمكن تطبيق قانون الفصل المنطقي؟

من المهم جدًا ملاحظة أن قانون الفصل المنطقي لا يمكن تطبيقه في الحالات التالية:

• إذا كان الفرض $p$ غير صحيح: إذا كانت العبارة الشرطية $p \to q$ صحيحة، ولكن الفرض $p$ غير صحيح، فلا يمكن استنتاج أي شيء عن $q$. فمثلاً، “إذا كان الشكل مربعًا فإنه مستطيل” (صحيحة). “الشكل $B$ مثلث” (الفرض غير صحيح). لا يمكننا استنتاج أن الشكل $B$ مستطيل.
• إذا كانت العبارة الشرطية $p \to q$ خاطئة: إذا كانت العلاقة بين الفرض والنتيجة غير صحيحة أساسًا، فإن أي استنتاج سيكون خاطئًا. فمثلاً، “إذا كان الشكل مستطيلًا فإنه مربع” (خاطئة).
• إذا كانت النتيجة $q$ هي المعلومة الوحيدة: إذا علمت أن النتيجة $q$ صحيحة، فلا يمكنك بالضرورة استنتاج أن الفرض $p$ كان صحيحًا. فمثلاً، “ابتلت الأرض.” لا يعني بالضرورة “أمطرَت السماء”، فقد تكون الأرض ابتلت لأسباب أخرى (مثل سقي الزرع).

قانون القياس المنطقي (Law of Syllogism)

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

ينص قانون القياس المنطقي على أنه إذا كانت العبارتان الشرطيتان “إذا كان $p$ فإن $q$” (أي $p \to q$) و “إذا كان $q$ فإن $r$” (أي $q \to r$) صحيحتين، فإنه يمكن استنتاج عبارة شرطية ثالثة “إذا كان $p$ فإن $r$” (أي $p \to r$) تكون صحيحة بالضرورة.

بصيغة رمزية:

$((p \to q) \land (q \to r)) \implies (p \to r)$

حيث $p$ و $q$ و $r$ تمثل عبارات منطقية.

شرح القانون:

1. العبارة الشرطية الأولى ($p \to q$): تحدد علاقة بين الفرض $p$ والنتيجة $q$. يجب أن تكون هذه العبارة صحيحة.
2. العبارة الشرطية الثانية ($q \to r$): تحدد علاقة بين $q$ (التي كانت نتيجة في العبارة الأولى) ونتيجة جديدة $r$. يجب أن تكون هذه العبارة أيضًا صحيحة.
3. الاستنتاج ($p \to r$): بما أن $p$ تؤدي إلى $q$، و $q$ تؤدي إلى $r$، فمن المنطقي استنتاج أن $p$ تؤدي مباشرة إلى $r$. يمكننا “تجاوز” $q$ والربط بين $p$ و $r$.

أمثلة توضيحية لقانون القياس المنطقي:

• مثال 1 (رياضي):

  • العبارة 1: “إذا كان الشكل مضلعًا منتظمًا، فإنه جميع أضلاعه متطابقة.” ($p \to q$)
  • العبارة 2: “إذا كانت جميع أضلاع الشكل متطابقة، فإن محيطه يساوي طول الضلع ضرب عدد الأضلاع.” ($q \to r$)
  • الاستنتاج: “إذا كان الشكل مضلعًا منتظمًا، فإن محيطه يساوي طول الضلع ضرب عدد الأضلاع.” ($p \to r$)

• مثال 2 (حياتي):

  • العبارة 1: “إذا درست بجد، فسوف تنجح في الاختبار.” ($p \to q$)
  • العبارة 2: “إذا نجحت في الاختبار، فسوف تحصل على مكافأة من والديك.” ($q \to r$)
  • الاستنتاج: “إذا درست بجد، فسوف تحصل على مكافأة من والديك.” ($p \to r$)

متى لا يمكن تطبيق قانون القياس المنطقي؟

• غياب الربط المشترك ($q$): يجب أن تكون نتيجة العبارة الشرطية الأولى هي نفسها فرض العبارة الشرطية الثانية. إذا لم يكن هناك عنصر مشترك يربط بين العبارتين، فلا يمكن تطبيق هذا القانون. فمثلاً، “إذا كان الجو حارًا، فسوف أشرب الماء.” و “إذا كان الجو ممطرًا، فسوف آخذ مظلتي.” لا يمكن ربطهما بقانون القياس المنطقي لأنه لا توجد عبارة مشتركة تربط بينهما.
• عدم صحة إحدى العبارات الشرطية الأصلية: إذا كانت إحدى العبارتين الشرطيتين ($p \to q$ أو $q \to r$) غير صحيحة، فإن الاستنتاج ($p \to r$) قد يكون خاطئًا أو غير مؤكد.

تطبيقات التبرير الاستنتاجي في البراهين الرياضية

يعتبر التبرير الاستنتاجي العمود الفقري للهندسة الرياضية، فهو الأسلوب المتبع في إثبات النظريات والمسلمات. عند كتابة برهان هندسي، فإنك تبدأ بمعطيات (فرضيات) معلومة، ثم تستخدم التعريفات، المسلمات، النظريات السابقة، وقوانين التبرير المنطقي (الفصل والقياس) للوصول إلى النتيجة المطلوبة خطوة بخطوة. كل خطوة في البرهان يجب أن تكون مبررة منطقيًا وصحيحة استنتاجيًا.

على سبيل المثال، لإثبات نظرية ما، قد تحتاج إلى تطبيق قانون القياس المنطقي لربط عدة علاقات شرطية معًا، ثم تستخدم قانون الفصل المنطقي في نهاية المطاف لتطبيق العبارة الشرطية النهائية على حالة معينة للوصول إلى الاستنتاج الذي تسعى لإثباته. هذا التسلسل المنطقي الصارم هو ما يمنح البراهين الرياضية قوتها وموثوقيتها.

تطبيقات وأمثلة

مثال: في مشروع لتصميم مبنى جديد في مدينة الرياض، وضع المهندسون المعماريون عدة قواعد لضمان السلامة والتصميم الجمالي. إحدى هذه القواعد تنص على: “إذا كان ارتفاع المبنى يزيد عن 100 متر، فيجب أن يكون مزودًا بنظام إطفاء حريق آلي متقدم.” قاعدة أخرى تنص على: “إذا كان المبنى مزودًا بنظام إطفاء حريق آلي متقدم، فيجب أن يخضع لاختبارات سلامة دورية صارمة.” وقد تم تصميم مبنى جديد بارتفاع 120 مترًا.

المطلوب: استخدم التبرير الاستنتاجي لتحديد ما إذا كان هذا المبنى سيخضع لاختبارات سلامة دورية صارمة.

الحل خطوة بخطوة:

1. تحديد العبارات:

   • نرمز للعبارة “ارتفاع المبنى يزيد عن 100 متر” بالرمز $p$.
   • نرمز للعبارة “المبنى مزود بنظام إطفاء حريق آلي متقدم” بالرمز $q$.
   • نرمز للعبارة “المبنى يخضع لاختبارات سلامة دورية صارمة” بالرمز $r$.

2. تحديد العبارات الشرطية المعطاة:

   • العبارة الشرطية الأولى: “إذا كان ارتفاع المبنى يزيد عن 100 متر، فيجب أن يكون مزودًا بنظام إطفاء حريق آلي متقدم.” هذه يمكن تمثيلها بـ $p \to q$.
   • العبارة الشرطية الثانية: “إذا كان المبنى مزودًا بنظام إطفاء حريق آلي متقدم، فيجب أن يخضع لاختبارات سلامة دورية صارمة.” هذه يمكن تمثيلها بـ $q \to r$.

3. تطبيق قانون القياس المنطقي:

   • بما أن لدينا العبارتين الشرطيتين $p \to q$ و $q \to r$ وكلاهما صحيح، يمكننا تطبيق قانون القياس المنطقي لاستنتاج عبارة شرطية جديدة تربط $p$ بـ $r$.
   • الاستنتاج من قانون القياس المنطقي: “إذا كان ارتفاع المبنى يزيد عن 100 متر، فيجب أن يخضع لاختبارات سلامة دورية صارمة.” (أي $p \to r$).

4. تحديد الفرض في الحالة الخاصة:

   • المعطى: “تم تصميم مبنى جديد بارتفاع 120 مترًا.” هذا يعني أن الفرض $p$ (“ارتفاع المبنى يزيد عن 100 متر”) صحيح في هذه الحالة، لأن 120 مترًا أكبر من 100 متر.

5. تطبيق قانون الفصل المنطقي:

   • الآن لدينا العبارة الشرطية الصحيحة المستنتجة من الخطوة 3: $p \to r$.
   • ولدينا الفرض $p$ صحيح من الخطوة 4.
   • بتطبيق قانون الفصل المنطقي، نستنتج أن النتيجة $r$ يجب أن تكون صحيحة.
   • الاستنتاج النهائي: “المبنى الجديد سيخضع لاختبارات سلامة دورية صارمة.”

النتيجة: باستخدام التبرير الاستنتاجي، يمكننا أن نؤكد بثقة أن المبنى الذي يبلغ ارتفاعه 120 مترًا سيخضع لاختبارات سلامة دورية صارمة، وذلك بناءً على القواعد الهندسية الموضوعة.

ملاحظات

• الخلط بين التبرير الاستنتاجي والاستقرائي: من الأخطاء الشائعة الخلط بين هذين النوعين من التبرير. تذكر دائمًا أن الاستنتاجي ينتج عنه استنتاج مؤكد إذا كانت المقدمات صحيحة، بينما الاستقرائي يقدم تخمينًا أو احتمالية.
• صحة المقدمات: قوة التبرير الاستنتاجي تكمن في أن صحة النتيجة مضمونة إذا كانت جميع المقدمات (العبارات الشرطية والفرضيات) صحيحة. إذا كانت إحدى المقدمات خاطئة، فلا يمكن ضمان صحة الاستنتاج.
• العكس والمعكوس والمعاكس الإيجابي: لا تخلط بين العبارة الشرطية الأصلية وعكسها أو معكوسها أو معاكسها الإيجابي. قانون الفصل المنطقي ينطبق فقط على العبارة الشرطية الأصلية وصحة فرضها، وليس على صحة نتيجتها لاستنتاج الفرض.
• التسلسل المنطقي في قانون القياس: تأكد أن العبارة المشتركة ($q$) هي نتيجة للعبارة الشرطية الأولى وفرض للعبارة الشرطية الثانية. أي خلل في هذا التسلسل يمنع تطبيق القانون.
• العبارات الضمنية: أحيانًا تكون العبارات الشرطية ضمنية وليست مصرحًا بها بشكل مباشر. يتطلب الأمر مهارة في استخلاصها لتطبيق قوانين التبرير الاستنتاجي بشكل صحيح.