نقيضه وهو « كل ج ب » . ومعنا مقدمة صادقة وهي « أنّ كل ب آ » ، ينتج « لو « 1 » كذب ليس « 2 » كل ج ب ، لكان كل ج آ « 3 » » ؛ ثم تجعل هذه الشرطية مقدمة لقياس استثنائي ويستثنى نقيض المحال فينتج نقيض المقدم .
واعلم أنّ قياس الخلف حاصله راجع إلى إبطال النقيض . وذلك يقتضي كون النقيض الآخر حقا ، أو كون أحد « 4 » أقسامه حقا ولذلك لا يفيد جهة النتيجة على التعيين ، فإنّا لو قدّرنا النتيجة مثلا عرفية خاصة ومتى صدقت ذلك صدقت عرفية عامة ، ثم مطلقة عامة ، ثم ممكنة عامة ، لأنّه متى صدق الخاص صدق العام .
والخلف لا بدّ وأن يساعد على إبطال نقائض هذه القضايا بأسرها . فإذا قام الخلف على إبطال نقيض « 5 » الممكن العام لم يلزم كون النتيجة ممكنة عامة ، بل أن تكون النتيجة إمّا « 6 » هي ، أو ما يصدق هي عليه . فلهذا السرّ عدلنا في بيان أكثر جهات الاقترانات « 7 » عن هذا الطريق .
وأمّا ردّ الخلف إلى المستقيم ، فهو أن تأخذ نقيض التالي المحال وتقرنه بالمقدمة الصادقة ، فينتج على استقامة « 8 » المطلوب الأوّل ، وإن كان لا يجب أن يرتد عن « 9 » الاستقامة إلى الشكل المستعمل في الخلف .
هامش
( 1 ) دا : إن .
( 2 ) آك : - ليس .
( 3 ) آك : ب .
( 4 ) آك ، دا : - أحد .
( 5 ) مل : النقيض .
( 6 ) مل : ما .
( 7 ) مل : الاقترانيات .
( 8 ) مل : الاستقامة .
( 9 ) آك ، دا ، مل : عند .