موسوعة مصطلحات علم المنطق عند العرب - فريد جبر؛ سميح دغيم؛ رفيق العجم؛ جيرار جهامى - الصفحة ٤٩٥ - أ
- الضرب الآخر من (قياس غير منتج من الشكل الأول) من كلّيتين و الصغرى سالبة و الكبرى موجبة (ب، م، ١٣٢، ٢٠)- الضرب الثالث من (قياس غير منتج من الشكل الأول) من صغرى موجبة كليّة و كبرى موجبة جزئيّة كقولنا كل أ ب- و بعض- ب ج- (ب، م، ١٣٣، ١٣)- الضرب الرابع منها (قياس غير منتج من الشكل الأول) هكذا من موجبة كلية صغرى و سالبة جزئية كبرى (ب، م، ١٣٤، ١٥)- الضرب الخامس من (قياس غير منتج من الشكل الأول)، من كبرى موجبة جزئيّة و صغرى سالبة كليّة (ب، م، ١٣٥، ٢)- الضرب السادس من (قياس غير منتج من الشكل الأول) من سالبتين صغراهما كليّة و كبراهما جزئيّة (ب، م، ١٣٥، ٩)- الضرب السابع من (قياس غير منتج من الشكل الأول) من كبرى موجبة كليّة و صغرى سالبة جزئيّة (ب، م، ١٣٥، ١٢)- الضرب الثامن من (قياس غير منتج من الشكل الأول) من سالبتين صغراهما جزئيّة و الكبرى كليّة (ب، م، ١٣٦، ٥)- الضرب التاسع من (قياس غير منتج من الشكل الأول) من جزئيتين، و الصغرى سالبة و الكبرى موجبة، و حكمه معلوم في أنّه لا ينتج من أجل جزئيّة الكبرى، و من أجل سلب الصغرى مما سبق تعليما و تمثيلا، و كذلك في الضرب العاشر و هو من سالبتين جزئيّتين. و في الحادي عشر و هو من جزئيّتين موجبتين، و الثاني عشر من جزئيّتين و الكبرى سالبة من أجل جزئيّة الكبرى (ب، م، ١٣٦، ١٥)- الضرب الأول من (القياسات المنتجة من الشكل الثاني) هي من كليّتين، و الكبرى سالبة كقولنا كل- أ ب- و لا شيء من- ج ب- ينتج سالبة كليّة و هو قولنا لا شيء من- أ ج- لأنّ الأصغر دخل تحت حكم الأوسط بكليّته و انتفى الأوسط عن الأكبر بكليّته فانتفى الأكبر عنه بكليّته فانتفى عن الأصغر بكليته (ب، م، ١٣٧، ٧)- الضرب الثاني من (القياسات المنتجة من الشكل الثاني) من كليّتين و الصغرى سالبة كقولنا لا شيء من- أ ب- و كل- ج ب- ينتج سالبة كليّة و هي قولنا لا شيء من- أ ج- و بيّنوه بتبديل المقدمتين و جعل الصغرى كبرى و الكبرى صغرى (ب، م، ١٣٧، ٢١)- الضرب الثالث من (القياسات المنتجة من الشكل الثاني)، من صغرى موجبة جزئيّة و كبرى سالبة كليّة كقولنا بعض أ ب- و لا شيء من- ج ب- ينتج سالبة جزئيّة و هي قولنا ليس كل- أ ج- (ب، م، ١٣٨، ١٢)- الضرب الرابع من (القياسات المنتجة من الشكل الثاني) من صغرى سالبة جزئية و كبرى موجبة كليّة مثاله ليس كل أ ب- و كل- ج ب- ينتج سالبة جزئيّة كقولنا ليس كل أ ج- (ب، م، ١٣٩، ٢)- (قياس غير منتج من الشكل الثاني) في هذا الشكل اثنا عشر ضربا، فمنها أربعة من سالبتين، لأنّ الأصغر و الأكبر فيهما يخرجان عن حكم الأوسط ... و أربعة من جزئيّتين لا يلزم منهما حكم لخروج البعضين غير المتعيّنين عن حكم الأوسط (ب، م، ١٣٩، ١٧)- الضرب الأوّل من (قياس غير منتج من الشكل الثاني) من سالبتين كليّتين يقع على هذه الاشكال و الصور الثلث (ب، م، ١٤٠، ١)