(320) قال: والفرق بين القياس المستقيم وقياس الخلف إذا أنتجا مطلوبا واحدا بعينه من مقدمات واحدة بعينها/ أن القياس الذي بالخلف نضع أولا ما نريد بطلانه- وهو نقيض ما نروم بيانه- ليسوق القول إلى كذب معترف به أنه كذب، وأما القياس المستقيم فإنه يبتدئ من مقدمات معترف بها. وكلا القياسين يكون من مقدمات معترف بها، إلا أن القياس المستقيم يكون من المقدمتين اللتين يكون عنهما القياس وأما الذي بالخلف فإحدى مقدمتيه فقط هى من مقدمتى القياس المستقيم والثانية نقيض النتيجة المشكوك فيها.

وفى المستقيم ليس يجب ضرورة أن تكون النتيجة معروفة قبل كون القياس، وأما في الذي بالخلف فقد يجب أن تكون معروفة لنضع نقيضها. ولا فرق في ذلك بين أن تكون النتيجة موجبة أو سالبة.

(321) وكل مطلوب يبين بقياس مستقيم فقد يمكن أن يبين بتلك المقدمات بأعيانها بقياس الخلف، وكل ما تبين بقياس الخلف فقد يمكن أن يبين بتلك الحدود والمقدمات بقياس مستقيم. وإذا كان القياس الحملى الذي في الخلف في الشكل الأول، فإن القياس المستقيم الذي يكون على ذلك المطلوب وبتلك