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

وإذا كان القياس الذى بالخلف فى الشكل الأول، فإن القياس المستقيم يكون فى الشكل الثانى والثالث: أما السالب منها ففى الشكل الثانى، وأما الموجب ففى الثالث. فإذا كان القياس الذى بالخلف فى الشكل الثانى، يكون قياسه المستقيم بالشكل الأول فى كل المسائل. فإذا كان القياس الذى بالخلف فى الشكل الثالث، فإن قياسه المستقيم يكون فى الشكل الأول والثانى: أما الموجبات ففى الأول، وأما السالبات ففى الثانى.

Página 270