وأما الشكل الثاني فلننزل أنه يتبين فيه بالخلف موجبة كلية- وهو أن اَ موجودة في كل بَ بوضعنا نقيضها- وهو أن اَ ليست في كل بَ- وإضافتنا إليها مقدمة صادقة تأتلف معها في الشكل الثاني- وهي أن اَ في كل جَ- فينتج لنا الكذب عن ذلك، وهو أن جَ ليست في كل بَ. فنقول: إن قياس هذا المطلوب يكون في الشكل الأول، وذلك أنه إذا أخذنا نقيض النتيجة الكاذبة- وهو أن جَ في كل بَ- وأضفنا إليها قولنا اَ في كل جَ- وهي الصادقة- فبين أنه ينتج لنا في الشكل الأول فقط اَ في كل بَ، وهي موجبة كلية. وذلك أن هاتين المقدمتين الصادقتين اللتين إحداهما نقيض الكاذبة والأخرى الصادقة الموضوعة في قياس الخلف لم يشتركا لا في المحمول فيكون في الشكل الثاني ولا في الموضوع فيكون في الثالث، بل الذي اشتركت فيه هو موضوع للطرف الأكبر في المطلوب ومحمول على الأصغر، وذلك هو تركيب الشكل الأول. وليكن مبرهنا عندنا في الشكل الثاني بالخلف موجبة جزئية- وهو أن اَ في بعض بَ- بوضعنا أن اَ في بعض بَ- بوضعنا أن اَ ولا شيء من بَ- الذي هو المقابل- وإضافتنا إلى ذلك أن اَ موجودة في كل جَ حتى يلزم من ذلك أن جَ ليست في شيء من بَ، الذي هو الكاذب. فأقول: إن قياسه المستقيم يكون في الشكل الأول، وذلك أنه إذا أخذنا اَ موجودة في كل جَ- وهي الصادقة الموضوعة في قياس الخلف- وجَ في بعض الباء- وهي نقيض النتيجة الكاذبة- فبين أنه ينتج في الشكل الأول أن اَ في بعض بَ. فإن كان الذي بين بالخلف سالبا كليا في الشكل الثاني بوضعنا نقيضه- وهو أن اَ موجودة في بعض بَ- وإضافتنا إلى ذلك أن اَ غير موجودة في شيء من جَ حتى تكون النتيجة الكاذبة أن اَ ليست في بعض بَ، فإن قياسه المستقيم يكون في الشكل الأول، وذلك أنا إذا أخذنا نقيض النتيجة الكاذب- وهو قولنا إن جَ في كل بَ- وأضفنا إليها اَ ولا في شيء من جَ- وهي الصادقة- فإنه ينتج لنا في الشكل الأول أن اَ ولا في شيء من بَ. وكذلك إن برهنا بالشكل الثاني في قياس الخلف سالبة جزئية- وهو أن اَ غير موجودة في بعض بَ- بوضعنا نقيضها- وهو أن اَ موجودة في كل بَ- وإضافتنا الى ذلك أن اَ غير موجودة في شيء من جَ، فيلزم عن ذلك أن جَ غير موجودة في شيء من بَ، وهي الكاذبة. فإن قياسه المستقيم يكون بأن نأخذ جَ في بعض بَ- وهو نقيض النتيجة الكاذبة- ونضيف إليها المقدمة الصادقة- وهو قولنا اَ ولا في شيء من جَ- فيلزم عنه اَ ليست في بعض بَ. فقد تبين من هذا أن ما تبين بالخلف في الشكل الثاني، فإن قياسه يكون في الشكل الأول، وذلك في جميع المطالب. القول في الشكل الثالث وأيضا ليبين في الشكل الثالث بطريق الخلف موجبة كلية- وهو قولنا اَ موجودة في كل بَ- بوضعنا نقيضها- وهو أن اَ ليست في بعض بَ- وإضافتنا الى ذلك أن جَ في كل بَ حتى يكون الكاذب اللازم أن اَ في بعض جَ، فأقول إن قياسه المستقيم يكون في الشكل الأول. وذلك أنه إذا أخذنا نقيض المنتج الكاذب- وهو قولنا اَ في كل جَ- وأضفنا إلى ذلك جَ في كل بَ، أنتج لنا في الشكل الأول أن اَ في كل بَ، وهو الذي تبين بالخلف لأن اَ وبَ لا يمكن فيهما أن يشتركا إلا بشيء ثالث يكون موضوعا للألف ومحمولا على بَ اللذان هما طرفا المطلوب. وكذلك إن برهنا بالخلف موجبة جزئية في الشكل الثالث- وهو قولنا اَ في بعض بَ- بوضعنا نقيضها- وهو قولنا اَ ولا في شيء من بَ- وإضافتنا إلى ذلك أن جَ في بعض بَ حتى يكون الكاذب المنتج أن اَ ليست في بعض جَ، فإن قياسه المستقيم يكون في الشكل الأول، وذلك إذا أخذنا نقيض الكاذب- أعني النتيجة وهو قولنا اَ في كل جَ- وأضفنا إلى ذلك جَ في بعض بَ- أعني مقدمة القياس الصادقة- فينتج لنا أن اَ في بعض بَ. وكذلك إن بينا بالخلف سالبة كلية في الشكل الثالث بوضعنا نقيضها- وهو قولنا اَ في بعض بَ- وإضافتنا إلى ذلك جَ في كل بَ حتى ينتج لنا من ذلك جَ في بعض اَ- الذي هو الكاذب- فأقول إن قياسه المستقيم يكون في الشكل الثاني. وذلك أنا نأخذ نقيض النتيجة الكاذبة والمقدمة الصادقة التي استعملت في بيان الخلف فيكون معنا جَ ولا في شيء من اَ، وجَ في كل بَ، ينتج لنا اَ ولا في شيء من بَ، وهو الشيء المبين بطريق الخلف.