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