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