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