لباب الاشارات والتنبيهات — الصفحة ٧٩

الشكل الثالث

حقا إن كل ج د ثم يجعل هذه النتيجة مقدمة شرطية لقياس استثنائي ، ويستثنى نقيض تاليها . فينتج : نقيض مقدمها .

هذا بيان صورة قياس الخلف .

وأما بيان مادته فهو الاستدلال بامتناع لازم أسد النقيضين ، على امتناع ذلك النقيض ، وبامتناع ذلك النقيض على أن الحق هو النقيض الآخر ، أو ما يكون داخلا فيه . وأما إن رد الخلف إلى المستقيم ، كيف يكون ؟ فمداره على أحد نقيض النتيجة المخالفة وتقرينه مع المقدمة الصادقة التي لا شك فيها ، الينتج : نقيض المحال على حاله .

وباللّه التوفيق .