تويت
بسم الله الرحمن الرحيم
شرح برهان الخلف بطريقة عملية:يمكن ارجاع برهان الخلف الى الخطوات التالية:
1-استخراج نقيض المفروض.
2-استخراج نقيض المدعى.
3-الاستدلال من نقيض المدعى على نقيض المفروض.
4-ثم نقول اذا صدق نقيض المفروض كذب المفروض لكنه صادق بالفرض فيكذب نقيض المدعى ويصدق المدعى.
وينبغي ملاحظة الامور التالية:
وضع نقيض المفروض على جهة ويفضل وضعه فوق نقيض المدعى المستخرج بالخطوة الثانية،ثم محوه بعد انتهاء الخطوة الثالثة.
ان اهم خطوة في هذه الاربعة هي الخطوة الثالثة ولا يستطيع الطالب اتقانها الا بعد حفظ العلاقات العشرة جميعا حفظا جيدا وممارسة حل البراهين بكثرة مدة من الزمن وبخلاف هذين الامرين لايُحتمل تمكن الطالب من اتقان هذا الامر.
والعلاقات هي :التناقض،والتضاد،والدخول تحت التضاد،التداخل،العكس المستوي،عكس النقيض الموافق،عكس النقيض المخالف،نقض المحمول،نقض الموضوع،نقض الطرفين.
واليك امثلة تطبيقية:
المفروض :ع ب ج صادقة
المدعى :ع ج ب صادقة بالعكس المستوي
البرهان:
1-استخراج نقيض المفروض :ع ب ج =ع ب ج
2-استخراج نقيض المدعى :ع ج ب = لا ج ب
لا ب ج (نقيض المفروض)
نقول:لو لم يصدق المدعى صدق نقيضه فلو لم يصدق ع ج ب صدق لا ج ب (نقيض المدعى)
3-الاستدلال من نقيض المدعى على نقيض المفروض من خلال ملاحظة وجود علاقة من العلاقات العشرة المذكورة بينهما ولتسهيل الامر على المبتدأ ننصح بتجربة علاقة بعد علاقة فنقول هل يوجد بين (لا ج ب) و(لا ب ج) علاقة التناقض الجواب (لا) ثم نجرب علاقة اخرى فنقول:هل بينهما علاقة التضاد؟ الجواب
لا) ،ثم نقول هل بينهما علاقة التداخل ؟ الجواب (لا) ،هل بينهما علاقة الدخول تحت التضاد ؟ الجواب (لا) ،هل بينهما علاقة العكس المستوي ؟ الجواب (نعم) [فترى ايدك الله اعتماد البرهان على حفظ العلاقات] فنقول :اذا صدق (لا ج ب) [نقيض المدعى] صدق عكسه المستوي (لا ب ج) [نقيض المفروض]. الى هنا تم الانتهاء من الخطوة الثالثة .
4-فاذا صدق (لا ب ج) [نقيض المفروض] كذب نقيضه (ع ب ج) [المفروض] لكنه صادق بالفرض ،فيكذب (لا ج ب) [نقيض المدعى] ويصدق (ع ج ب) [المفروض] وهو المطلوب.
يتبع.............