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

26