لمعة 3
شروط الأول إيجاب الصغرى و فعليتها - ليندرج الأصغر في الأكبر بالفعل - و كلية الكبرى ليتعدى الحكم من الأوسط إليه - فانحصرت ضروبه في أربعة إذا كانت ستة عشر - بحسب وجود تراكيب الأربع المحصورات في إحدى المقدمتين - مع مثلها في الأخرى فانحذفت بحذف أحد المتقابلين - من الكيف و الكم في إحداهما ثمانية - و بحذف أحدهما من الأخرى أربعة .
و الشخصي لا يبحث عنه في الحقيقيات و الإهمال مغلط .
و لما كانت النتيجة تابعة لأخس المقدمتين كما و كيفا - فينتج الأول من الضروب من موجبتين كليتين - موجبة كلية و الثاني من كليتين و الكبرى سالبة سالبة كلية - و الثالث من موجبتين و الصغرى [ جزئية ] موجبة جزئية - و الرابع من موجبة جزئية صغرى - و سالبة كلية كبرى سالبة جزئية .
لمعة 4
شروط الثاني بحسب الكيف اختلافهما فيه - و إلا لزم اختلاف النتيجة الموجب للعقم - و بحسب الكم كلية الكبرى و إلا لجاز توافق الطرفين - كما إذا سلب أحد النوعين عن الآخر - و حمل على بعض جنسهما أو حمل الفصل على نوعه - و سلب عن بعض جنسه و تباينهما أيضا - كما إذا حمل النوع المسلوب عن الآخر على بعض فصله - أو