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

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