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

أن آ في بعض ب.

(328) فإن كان الذي بين بالخلف سالبا كليا في الشكل الثاني بوضعنا نقيضه - وهو أن آ موجودة في بعض ب - وإضافتنا إلى ذلك أن آ غير موجودة في شىء من ج حتى تكون النتيجة الكاذبة أن ج ليست في بعض ب، فإن قياسه المستقيم يكون في الشكل الأول، وذلك أنا إذا أخذنا نقيض النتيجة الكاذب- وهو قولنا إن ج في كل ب- وأضفنا إليها آ ولا في شىء