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

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