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