تلخيص كتاب القياس — صفحة 320

( 327 ) وليكن مبرهنا عندنا في الشكل الثاني بالخلف موجبة جزئية - وهو أن آ في بعض ب - بوضعنا أن آ ولا في شئ من ب - الذي هو المقابل « 1 » - وإضافتنا إلى ذلك أن آ موجودة في كل ج حتى يلزم من « 2 » ذلك أن ج ليست في شئ من ب « 3 » ، الذي هو الكاذب . فأقول : إن قياسه المستقيم يكون في الشكل الأول ، وذلك أنه إذا « 4 » أخذنا آ موجودة في كل ج - وهي الصادقة الموضوعة في قياس الخلف - وج في بعض الباء « 5 » - وهي نقيض النتيجة الكاذبة - فبين أنه ينتج في الشكل الأول « 6 » أن آ في بعض ب « 7 » . ( 328 ) فإن كان الذي بين « 8 » بالخلف سالبا كليا في الشكل الثاني بوضعنا نقيضه « 9 » - وهو أن آ موجودة في بعض ب « 10 » - وإضافتنا إلى ذلك أن آ غير موجودة في شئ من ج حتى تكون النتيجة الكاذبة أن ج ليست في بعض ب « 11 » ، فإن قياسه المستقيم يكون في الشكل الأول ، وذلك أنا إذا أخذنا نقيض النتيجة الكاذب - وهو قولنا إن ج في كل ب - وأضفنا إليها آ ولا في شئ