الخلف فإحدى « 1 » المقدّمتين كذلك والأخرى نقيض المطلوب .
وثالثها ؛ أنّ النتيجة غير بيّنة في أوّل الأمر في القياس المستقيم حتّى يتمّ فيلزم . وأمّا في الخلف فإنّ النتيجة توضع أوّلا ويوضع نقيضها « 2 » .
وأمّا بيان أنّ الخلف كيف يرتدّ إلى المستقيم « 3 » فعند ما نأخذ نقيض النتيجة المحالة « 4 » وقرنّاه « 5 » بالمقدّمة الصّادقة فينتج المطلوب . مثاله إذا أردنا أن نبيّن أنّه لا شئ من ب ا ، فقلنا « 6 » : إن كذب ذلك صدق نقيضه وهو « 7 » : بعض ب ا ، ثمّ « 8 » ضممنا إليه مقدّمة صادقة وهي « 9 » كلّ ا ج ، ينتج : إن كذب لا شئ من ب ا فبعض ب ج ، وهي النتيجة الباطلة . فإذا « 10 » أخذنا نقيضها وهي « 11 » أنّه : لا شئ من ب ج ، وضممناه إلى المقدّمة الحقّة وهي « 12 » أنّ كلّ ا ج « 13 » ، ينتج المطلوب بالاستقامة « 14 » وهو أنّه لا شئ من ب ا .
والحاصل « 15 » أنّ الخلف أنّما يتمّ بقياسين : الأوّل من شرطيّة ، وحمليّة صادقه حتّى ينتج شرطيّة ، فإذا « 16 » أخذنا نقيض تالي هذه النتيجة « 17 » الشرطيّة وضممناه إلى الحمليّة انتج « 18 » المطلوب الأوّل . فظهر تحقيق قوله : « أنّ ذلك يلاحظ الحال ممّا ينعقد بين « 19 » التّالى والحمليّة « 20 » . »
وأمّا بيان أنّه يجب أن يرتدّ عند الاستقامة إلى الشّكل المستعمل فيه الخلف أو لا يجب ، و « 21 » تفصيل القول في ذلك « 22 » ممّا لا يحتمله هذا المختصر . وباللّه التّوفيق « 23 » .
هامش
( 1 ) - فإحدى : إحدى ج .
( 2 ) - نقيضها : - آ .
( 3 ) - كيف يرتدّ إلى المستقيم : إلى المستقيم كيف يرتدّ ه .
( 4 ) - المحالة : المخالفة ت ؛ ه .
( 5 ) - قرنّاه : قررّناه ه ؛ ت .
( 6 ) - فقلنا : قلنا م .
( 7 ) - وهو : - ت .
( 8 ) - ثمّ : + إذا م .
( 9 ) - هي : + أنّ ه .
( 10 ) - فإذا : إذا ه ؛ ت .
( 11 ) - هي : هو ه ؛ ت .
( 12 ) - فإذا أخذنا . . . وهي : ثابتة على الهامش بخط جديد ه .
( 13 ) - كلّ ا ج : كلّ ا ب م ؛ ج .
( 14 ) - بالاستقامة : - آ .
( 15 ) - والحاصل : فالحاصل ه ؛ ج ؛ ت .
( 16 ) - فإذا : وإذا ه ؛ ت .
( 17 ) - هذها لنتيج : - آ .
( 18 ) - انتج : ينتج ه .
( 19 ) - بين : من م ؛ ج .
( 20 ) - التالي والحمليّة : الحمليّة والتالي ج .
( 21 ) - أو لا يجب و : ولا يجب ج .
( 22 ) - في ذلك : فيه فذلك ه ؛ ت ؛ م . : فذلك ج . : وذلك آ .
( 23 ) - وباللّه التوفيق : - ه ؛ ج ؛ ت .