لمعة 3

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

و الشخصي لا يبحث عنه في الحقيقيات و الإهمال مغلط.

و لما كانت النتيجة تابعة لأخس المقدمتين كما و كيفا- فينتج الأول من الضروب من موجبتين كليتين- موجبة كلية و الثاني من كليتين و الكبرى سالبة سالبة كلية- و الثالث من موجبتين و الصغرى [جزئية] موجبة جزئية- و الرابع من موجبة جزئية صغرى- و سالبة كلية كبرى سالبة جزئية.

لمعة 4

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