س م حو هو عين الكبرى الصادقة ( هذا خلف ) فيجب أن يصدق س ب ح‌ ( المطلوب ) السادس : من موجبة جزئية وسالبة كلية ، ينتج سالبة جزئية مثاله :
بعض الذهب معدن ولا شئ من الذهب بحديد / بعض المعدن ليس بحديد ويبرهن عليه بعكس الصغرى ثم ضمه إلى كبرى الأصل ليكون من رابع الشكل الأول ، لينتج المطلوب .
المفروض ع م ب ولا م ح‌ المدعى س ب ح‌ البرهان :
نعكس الصغرى إلى " ع ب م " فنضمه إلى الكبرى ، ليحدث :
ع ب م ولام ح‌ ( رابع الأول ) / س ب ح‌ ( المطلوب ) تنبيهات طريقة الخلف [1] :
1 - إن كلا من ضروب الشكل الثالث يمكن إقامة البرهان عليه بطريقة الخلف ، كضروب الثاني .
و " الخلف " : استدلال غير مباشر يبرهن به على كذب نقيض المطلوب ، ليستدل به على صدق المطلوب . وهو في الأشكال خاصة يؤخذ [2]

[1] راجع الحاشية : ص 95 ، وشرح الشمسية 148 و 145 و 144 .
[2] أن يؤخذ ، ظ .

262